TypeCase: A design pattern for type-indexed functions (Haskell'05 - Proceedings of the ACM SIGPLAN 2005 Haskell Workshop, 2005)

(untitled) - Oliveira, B; Gibbons, J