
(define a λxyz (+ x (+ y z)))

a

(a 1 2 3)

(define a λxλyλz (+ x (+ y z)))

a

(((a 1) 2)3)
