Injective type families for Haskell.

Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg

Browse the full HASKELL paper archive.