A new approach to the implementation of type classes. Appeared on the Haskell mailing list (0)

by Mark Jones