۱.
P. Wadler and S. Blott. How to make ad-hoc polymorphism less ad-hoc .
۲.
Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, and Philip L. Wadler. Typeclasses in Haskell .