Same iterator type is a valid assumption