On Mon, 30 May 2005, Jan Christiansen wrote:
It's not allowed to make an instance of a type synonym and partially applied
type synonyms are not allowed anyway. Is there a reason why partial
application of type synonyms are forbidden?
It turns the type system into an FPL all of its own, which means the type
checker isn't guaranteed to terminate.
--
[EMAIL PROTECTED]
There is no magic bullet. There are, however, plenty of bullets that
magically home in on feet when not used in exactly the right circumstances.
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
