Modular Implicits – Ad-hoc Polymorphism in OCaml [pdf] | Hacker News Reader