Synonym Type Constructors

Ashley Yakeley
Mon, 19 Feb 2001 14:50:51 -0800

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