Major type-class overhaul

Spencer Janssen sjanssen at
Fri Nov 17 18:45:10 EST 2006

On Nov 17, 2006, at 5:40 PM, Duncan Coutts wrote:
> I'd certainly support that. Am I right in thinking that it'd allow
> Data.Set to be made an instance of Monad, because the Ord constraint
> would be available in the body of the bind method?

return is still a problem, because there is no Ord constraint there.

Spencer Janssen

More information about the Glasgow-haskell-users mailing list