(define curried+
  ; TYPE: number -> (number -> number)
  (lambda (m)
    (lambda (n)
      (+ m n))))