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