Initial files based on examples from ocaml-modular-implicits