A Fixed-point combinator.

See https://eli.thegreenplace.net/2016/some-notes-on-the-y-combinator/ (a)

Bibliography