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