Type classes with more higher-order polymorphism (2002)

by M Neubauer, P Thiemann
Venue:In Proc. 7th ACM SIGPLAN International Conference on Functional Programming, ICFP ’02