Redundant constraints

Friends I've pushed a big patch that adds -fwarn-redundant-constraints (on by default). It tells you when a constraint in a signature is unnecessary, e.g. f :: Ord a => a -> a -> Bool f x y = True I think I have done all the necessary library updates etc, so everything should build fine. Four libraries which we don't maintain have such warnings (MANY of them in transformers) so I'm ccing the maintainers: o containers o haskeline o transformers o binary Enjoy! Simon