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

[Bulat Ziganshin]

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