cousin_it comments on No coinductive datatype of integers

[cousin_it]

Wikipedia has a detailed explanation of the setup.