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