Module 1-Arg.X

module Y : S