generated at
チューリング不動点コンビネータ
https://nowokay.hatenablog.com/entry/20090410/1239337915
https://ja.wikipedia.org/wiki/不動点コンビネータ#チューリング不動点コンビネータ