Zack_M_Davis comments on No coinductive datatype of integers