Module `1-Arg.X`

module type R = S

module Y : R