I think works only because in your example the first layer subset is equivalent to a Set (indices[i] = i for i in 0..nelems)

I remember asking about this before, do we actually want subsets of subsets?