I don't think there is a straight-forward way to add index, other than somehow combining choices with range sequence before passing it to for. Personally, I would recommend to rewriting this in the way where index is not needed. Normally I would use some id for the option, or maybe the label would be fine if it is unique.

Of course, you can always do something like this:

(for [[index choice] (map vector range choices)] ....)