Typecase: a design pattern for type-indexed functions (2005)

by B C d S Oliveira, J Gibbons
Venue:In: Haskell