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