The Y in Y-Combinator