Module type Nested.with_

module N : sig ... end