equality of two choices `a` and `b` is defined only if all element types
of the choice are equatable. The choices are equal if they have the same
ordinal number and the contained values are equal.

This will result in a compile time panic in case any element type is not
equatable.