
main = (\x. x+x+3) ((\x. x) 2)
