A total order between two tuples `a` and `b` is defined by the total order of
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 runtime `panic` in case any element type is not orderable.