>>954
>この不動点コンビネータってやつは、普遍性あるいは表現可能関手で定義できるだろうか?
さあ?
やりたければ考えてみれば?って感じ