At 2002-02-06 00:54, Koen Claessen wrote:

You are completely right, of course I meant r -> m!

Right. There's the equivalent of an r -> m dependency because m is a parameter in the Ref type constructor. But it doesn't matter, because you can create values of this type: myIntRef :: (MyMonad m) => Ref m Int ...i.e., references that work with multiple monads. -- Ashley Yakeley, Seattle WA