Various tests with ocaml's modular implicits