1 2 3 4 5
(let (add n : Int m : Int) (+ n m) (let (inc) (add 1) (let (double f : (Int -> Int) n : Int) (f (f n)) (let (add2) (double inc) (add2 40)))))