use the indexed version of the Vec Setoid