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