Unit indices have just a single element in their set. This is actually *not* useless, since it can be used to "fold" from another index structure into the single () element.