[deleted] comments on No coinductive datatype of integers

[[deleted]]

Seems like you need to add some more explanation to the scenario to bring a wider audience up to speed.