Kevin Hammond Stephen Blott Implementing Haskell Type Classes. 266-286 1989 conf/fp/1989 Functional Programming db/conf/fp/fp1989.html#HammondB89