Tarmo Uustalu. Monad Translating Inductive and Coinductive Types. In Herman Geuvers, Freek Wiedijk, editors, Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers. Volume 2646 of Lecture Notes in Computer Science, pages 299-315, Springer, 2002. [doi]