But it seems that's not what this co-iteration is about.
The other answers point in the direction that this is about iterating two (or maybe more) things at once, and not constructing co-data.
But it seems that's not what this co-iteration is about.
The other answers point in the direction that this is about iterating two (or maybe more) things at once, and not constructing co-data.