Graham Hutton Erik Meijer Back to Basics: Deriving Representation Changers Functionally. 181-188 1996 6 J. Funct. Program. 1 db/journals/jfp/jfp6.html#HuttonM96