“Turns out the Y-combinator has a normal form, surprisingly.” | Hacker News Reader