Type families with class, type classes with family.

Alejandro Serrano, Jurriaan Hage, Patrick Bahr

Browse the full HASKELL paper archive.