19 Feb
2001
19 Feb
'01
10:50 p.m.
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