Module Arg.X

module type R = S
module Y : R