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.
