Link to "A Simple Semantics for Haskell Overloading."