objectを定義していた。conatはNatFの最大不動点になってる。αの良い名前が思いつかなひ)。こいつは有限と無限の両方のリストを表わすはず。coprl(in2.pair(head,tail))となる。Haskellとの関係ところで、Haskellのリストがlist,inflist,colistのどれに対応するかを考えると、Haskellのリストは有限のリストも無限のリストも共に表わすことが出来るので、明らかにcolistに対応するはず。代数的データ型の意味はfunctorの最小不動点として与えられるとよく言われるが、Haskell等のlazyな言語ではそのlazynessのために最大不動点になっているように思える。(はてな版)日記は現代の病です。読み過ぎ書き過ぎはあなたの健康を害する恐れがあります。2.2.10-p489。