Promoting functions to type families in Haskell.

Richard A. Eisenberg, Jan Stolarek

Browse the full HASKELL paper archive.