f :: Int -> Int
f x = 2 * x

main = f 2 + 3