この不動点コンビネータってやつは、普遍性あるいは表現可能関手で定義できるだろうか？
//ja.m.wikipedia.org/wiki/%E4%B8%8D%E5%8B%95%E7%82%B9%E3%82%B3%E3%83%B3%E3%83%93%E3%83%8D%E3%83%BC%E3%82%BF