class Monad m => MonadPlus m where ...

class Ord a => Ix a where ...

instance Integral a => Eq (Ratio a) where ...

still difficult?-) works just as well when the constraint lists get longer.

claus

ps. I like that its the same way as for type signatures.
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://haskell.org/mailman/listinfo/haskell-prime

Reply via email to