Matthias Neubauer Peter Thiemann Type classes with more higher-order polymorphism. 179-190 2002 ICFP http://doi.acm.org/10.1145/581478.581496 db/conf/icfp/icfp2002.html#NeubauerT02