Module M.N

type t = With5.N.t