Semi-applied datatypes in instance declarations

[George Russell]

Marcin 'Qrczak' Kowalczyk wrote:
> 
> On Tue, 6 Feb 2001, George Russell wrote:
> 
> > I apologise if this has been raised before, but the code I am
> > writing now would look rather nicer if "partially applied
> > type constructors" were permitted in instances.
> 
> They are. For example monads.
Yes you are right.  I'm sorry for wasting your time - I made a mistake
in constructing my test case.