Re: [Haskell-cafe] Inferring rewrite rules for higher order functions

The only paper that comes to my mind is Wadler's "Theorems for free". It's an old one and not exactly about rewrite rules, but it may be a good starting point. Janek