User:Andreer

(define y
  (lambda (x)
    ((lambda (f)
       (x (lambda (a) ((f f) a))))
     (lambda (f)
       (x (lambda (a) ((f f) a)))))))