; Currying again:




(let ((i (lambda (f)
             (lambda (n)
              (let ((g (lambda (h)      ; THE LAMBDA EXPRESSION BOUND TO g HAS NO FREE VARIABLES
                         (lambda (n)    ; MOVET IT OUT
                          (if (= n 0) 1 (* n (h (- n 1))))))))
                 ((g (f f)) n)) ))))
  ((i i) 5))