Baking the Y Combinator from Scratch