Daniel_Burfoot comments on No coinductive datatype of integers