module B(y) where

y :: Int
y = undefined