(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)))))