Baking the Y Combinator from scratch, Part 2