



main = (\x -> x + x + 3) ((\x -> x) 2)
