Baking the Y Combinator from scratch, Part 2: Recursion and its consequences
the-nerve-blog.ghost.io