CronoDAS comments on No coinductive datatype of integers

[CronoDAS]

Yeah, you’re probably right...