Как на c++17 проверить, что можно сравнивать два типа одним

Question

Как на c++17 проверить, что можно сравнивать два типа одним

из операторов? большинство решений сделаны для member functions. если же оператор вне определения класса, то становится больно. (эх, скорее бы <=>)
template <class T, class U>
bool compare(const T &t, const U &u) {
if constexpr () {
return !(t == u);
} else if constexpr () {
return t != u;
} else {
return t < u || u < t;
}
}