Ordering utilities
Implements a total order for a partial order by panicking whenever elements cannot be compared.