"Type classes with more higher-order polymorphism."

Matthias Neubauer, Peter Thiemann (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics