Module type 1-Arg.T

module type R = S
module Y : R