RHollerith comments on No coinductive datatype of integers