Module Dep7.M

module type R = Arg.S
module Y : R