cousin_it comments on No coinductive datatype of integers