6 Feb
2002
6 Feb
'02
9:28 a.m.
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