I imagine this would look something like: "a[0]", and would play well with other paths, like "a.b[0].c". Of course for arbitrary arrays it would be better to construct the TomlPath explicitly, or with a lens. The purpose of this style of query is for fixed-length arrays with a meaning assigned to each slot, like:
So that query can be something like getX = query "point[0]"