RHollerith comments on No coinductive datatype of integers

[RHollerith]

ADDED. relates → supports or helps to illuminate