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