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

[Jan Stolarek]

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