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