Module Aliases.P2

module Z : sig ... end