benelliott comments on No coinductive datatype of integers

[benelliott]

Because I evidently can’t spell :(