(defun g (x) (lambda (y) (lambda (z) (f x y z))))