-- !!! re-exporting module alias, with hiding.
module M where

import Mod139_B

z = Bar
a = Mod139_B.x

y = m1 (2::Int)