Module type Arg.T

module type R = S
module Y : R