DRAFT January 5, 2015 c Leo White & Fr´ed´eric Bour This work is licensed under the Creative Commons Attribution-No Derivative Works License. Modular implicits Leo White Fr´ed´eric Bour A common criticism of OCaml is its lack of support for ad-hoc polymorphism. The classic exam- ple of this is OCaml’s separate addition operators for integers (+) and floating-point numbers (+.). Another example is