A total order between two choices `a` and `b` is defined only if all element types
of the choice are orderable.
their first elements. If the first `i` element pairs are equal, the order is defined by
the `i+1`th element pair.

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