module A where
x = 1 :: Int