>>954
不動点コンビネータを定義するとはどういうことだろ