module Main where import References main :: IO () main = return () a = 2 :: Int b = a + 1 acc :: Account acc = Savings