“Turns out the Y-combinator has a normal form, surprisingly.”