ModuleTypeOfComplications.T
module type Y = module type of X1
module type Z = module type of struct include X1 end