(defun y (lambda) (funcall (lambda (f) (funcall (lambda (g) (funcall g g)) (lambda (x) (funcall f (lambda () (funcall x x)))))) lambda))