RE: monad transformer library

hello, 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 extension. bye iavor