First-Class Modules and Modular Implicits in OCaml (2017)
tycon.github.io