A new approach to type class overloading. Distributed on Haskell mailing list (1991)

by Mark P Jones