4.21 Y-ish combinator