cousin_it comments on No coinductive datatype of integers

[cousin_it]

If you’re okay with losing to me, then it’s a good bet, yeah :-)