ModuleTypeOfComplications.S
module X : sig ... end
module type Y = module type of X
module type Z = module type of struct include X end