A system of constructor classes

June 1993A system of constructor classesA system of constructor classes: overloading and implicit higher-order polymorphism

This paper introduces constructor classes. Among its motivating examples are Functor and Monad. The language feature and these classes will be incorporated into Haskell 1.3.

Author: Mark P. Jones

Join Type Classes for courses and projects to get you started and make you an expert in FP with Haskell.