Choice was initially implemented with restrictions that require each branch to be an element, and further, a scalar element.

In general, a choice branch can be a sequence, another choice, or an element which may or may not be 'array'.