Module type With10.T

module M : sig ... end
module N : M.S