Richard S. Bird Oege de Moor Paul F. Hoogendijk Generic Functional Programming with Types and Relations. 1-28 1996 6 J. Funct. Program. 1 db/journals/jfp/jfp6.html#BirdMH96