I don't know whether it's worth considering the edge case where only the first element is a tuple, and just doing Index.