Module T.N

type t = M.t