Type Classes and Constraint Handling Rules

Kevin Glynn, Martin Sulzmann, Peter J. Stuckey

Type classes are an elegant extension to traditional, Hindley-Milner based typing systems. They are used in modern, typed languages such as Haskell to support controlled overloadin…