According to Mike:

groupIndex - we perhaps shouldn't expose this. It's the position within the immediately enclosing group and it is used to decide if you need an infix separator from that group before the current element (groupIndex 1 no, >1 yes) I'll want to look at it, but most users....probably not.

Should we keep this as one of the variables available to the user?