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