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:[EMAIL PROTECTED]
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
