28 Sep
2006
28 Sep
'06
7:24 a.m.
Hello Bas, Thursday, September 28, 2006, 2:39:13 AM, you wrote:
foo :: {MonadIO m} a -> m a
Or move contexts to the end of a type and separate it with a | like Clean
foo :: a -> m a | MonadIO m
i've proposed both these constructs here at list some time ago :)))) but we don't decide... -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com