On Wednesday 26 March 2008, Hugo Pacheco wrote:
> 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?
The difference comes in that type synonyms must be fully applied to all the
type parameters listed in their declaration. So, for instance, with the
second, you could declare (with a type synonym instances extension), say:
instance Monad FInt where ...
But you could not with the first, because FInt would be partially applied; the
first needs to always appear as 'FInt x' for some x.
-- Dan
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
