module A(x) where import B x :: Int x = y