monad transformer library

Iavor Diatchki
Mon, 9 Jun 2003 01:23:13 -0700 (PDT)


sorry for the slow reply, i've been travelling for the last few days
and now i am finally adjusting to europian time :-)

> You do know that in GHC (though not Hugs) you can say
> 	newtype Foo = MkFoo Baz deriving( Monad, MyClass, This, That )

i remember experimenting with this using one of the earlier
implementations, and something didn't work when i was trying to derive
multiparameter classes with functional dependencies (GHC crashed).  i will
give it another go using GHC 6.0 to make sure that it works.

as for the library i think that we should perhaps stick with the type
synonims for the time being until at least hugs supports the deriving