Lexicographic ordering is a total ordering (if `T` has a total ordering), right?