Simplification: IteratorCollection::reduce.