Derivable type classes (2000)

by R Hinze, S Peyton Jones
Venue:Proceedings of the 4th Haskell Workshop