"Instance chains: type class programming without overlapping instances."

J. Garrett Morris, Mark P. Jones (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics