Currying and binding question

[Nicholas Papadonis]

Does function application and variable binding not appear in (pp <>)
output?  I'm trying to understand why (lambda (c))'s variables are not
bound.  Thanks

(define-syntax curry
  (syntax-rules ()
    ((_ (a) body ...)
     (lambda (a) body ...))
    ((_ (a b ...) body ...)
     (lambda (a) (curry (b ...) body ...)))))

((((curry (a b c) (+ a b c)) 1) 1) 1)
;Value: 3

(pp (((curry (a b c) (+ a b c)) 1) 1))
(lambda (c)
  (+ a b c))
;Unspecified return value