Synonym Type Constructors
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