Module type Dep4.S

module X : T
module Y : sig ... end