Thomas van Noort Alexey Rodriguez Stefan Holdermans Johan Jeuring Bastiaan Heeren A lightweight approach to datatype-generic rewriting. 13-24 2008 ICFP-WGP http://doi.acm.org/10.1145/1411318.1411321 conf/icfp/2008wgp db/conf/icfp/wgp2008.html#NoortRHJH08