Module Ocamlary.With3

module M = With2
module N : M.S