Module type Dep6.T

module type R = S
module Y : R