I think it suffices to say that the type of the components is that of typeExactly, because that does take into account random-access ranges etc.