(define zero (lambda (f) (lambda (x) x)))

(display zero)