(define (cfold' f z l) (if (pair? l) z (f (car l) z (lambda (y) (cfold' f y (cdr l)))))