Readers may be interested to cf. https://en.wikipedia.org/wiki/Corecursion