lambdalot

(Y F) = (F (Y F))