(let (curry f : {Int Int} -> Int)
  (lambda n : Int
    (lambda m : Int
      (f {n m})))
(let (add xy : {Int Int})
  (+ xy.1 xy.2)
(let (cAdd) (curry add)
  ((cAdd 3) 4))))