[Haskell-cafe] A better syntax for qualified operators?

Bulat Ziganshin bulat.ziganshin at gmail.com
Thu Sep 28 07:24:36 EDT 2006

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 at gmail.com

More information about the Haskell-Cafe mailing list