あ、これはcircKleisli構成と関係するかもヨー！http://www.iti.cs.tu-bs.de/~adamek/AAV.ps title: Iteration Monad AczelとAdamekが著者に入っている。 Elgotへの言及がある。 18ページ

http://www.cs.nott.ac.uk/~gmh/appsem-papers/uustalu.pdf title: Generalized Iteration and Coiteration for Higher-Order Nested Datatypes Tarmo Uustaluが著者に入っている。 16ページ Mendler-Style (Co)Iteration for (Co)Inductive Types