Semi-applied datatypes in instance declarations

George Russell ger@Informatik.Uni-Bremen.DE
Tue, 06 Feb 2001 15:34:28 +0100


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.