Comment Comment by maninalift Readers may be interested to cf. https://en.wikipedia.org/wiki/Corecursion parent maninalift 12 years ago
