Should zipping with an infinite iterator preserve iterator shape?

Currently, Base.IteratorSize(zip(iterators...)) is never Base.HasShape when any iterator in iterators is infinite (when its IteratorSize is Base.IsInfinite). At best the IteratorSize is HasLength. I feel it may make sense to preserve the iterator shape in some cases. For example, currently Base.IteratorSize(zip(infinite_iterator, shapeful_iterator)) === Base.HasLength(), however I feel like it may make more sense to have Base.IteratorSize(zip(infinite_iterator, shapeful_iterator)) === Base.Iter...