"Type families with class, type classes with family."

Alejandro Serrano, Jurriaan Hage, Patrick Bahr (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics