Why should it be exactly the same type as first(eachindex(v))? I meant that the resulting type is concrete and suitable for indexing the original collection.
Again, the difference is present in more common cases of matrices as well: findall returns CartestianIndexes, while eachindex returns Ints.