TypeCase: a design pattern for type-indexed functions.

Bruno C. d. S. Oliveira, Jeremy Gibbons

Browse the full HASKELL paper archive.