https://github.com/Robert-van-Engelen/tinylisp/blob/2d0fb35b...
(define Y (lambda (f) (lambda args ((f (Y f)) . args))))