The Fixed Point Expression / Y Combinator expressed in horses: Y = (λ f. (λ x. f(xx))(λ x. f(xx))) ;; so then Y🐎️ = (λ f. (λ 🍎. f(🍎🍎)) (λ 🍎. f(🍎🍎))) 🐎️ = (λ 🍎. 🐎️(🍎🍎)) (λ 🍎. 🐎️(🍎🍎)) = 🐎️( (λ 🍎. 🐎️(🍎🍎)) (λ 🍎. 🐎️(🍎🍎)) ) = 🐎️(Y🐎️)