Module type N.t