A lightweight implementation of generics and dynamics (2002)

by James Cheney, Ralf Hinze
Venue:Pages 90–104 of: Haskell Workshop’02