Module Expansion.ModuleTypeAliases2

module A : sig ... end
module B : sig ... end