Synonym Type Constructors

[Ashley Yakeley]

At 2001-02-19 06:34, Fergus Henderson wrote:

>As the Haskell Report section 4.2.2 says:
>
> | Type constructor symbols T introduced by type synonym declarations
> | cannot be partially applied; it is a static error to use T without the
> | full number of arguments.

Thanks, I missed that. How annoying. Is this really necessary? It would 
be nice if T were, as you say, a first-class type-constructor.

-- 
Ashley Yakeley, Seattle WA