There is no such functionality in the standard library today, but I find myself needing it every once in a while. I feel like this is a great use case for a lazy collection wrapper similar to the one pitched in Add an `adjacentPairs` algorithm to Sequence.
If you're interested, I can post my implementation of a lazy Cartesian<Base1, Base2> tomorrow.