Module T.M

module type S
module N : S