There is a Y Combinator in there!