The `type_order` template is unimplementable as specified by [[P2830R10]](https://wg21.link/p2830r10), due to values of type `strong_ordering` not being usable as template parameters because `strong_ordering` is not a structural type (it has a private member).