> 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.