Hi guys,

There is something I think not to fully understand: what are the differences between these two type synonyms?

type FInt x = Either One x
type FInt = Either One

Their kind is the same, so do they differ or are exactly the same type?

Thanks,
hugo