Module type Ocamlary.With8

module M : module type of struct include With5 end with type N.t = With5.N.t