Not an expert by any means, but probably related https://en.m.wikipedia.org/wiki/Fixed-point_combinator?wprov...