Product iterators are finally in