[Haskell-cafe] Re: Composition of Type Constructors

[Philippa Cowderoy]

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.

-- 
flippa at flippac.org

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.