Module Aliases.P1

module Y : sig ... end