(define (zero) (lambda (f) (lambda (x) x)))
(display (zero 0))