それはEqとOrdの話でしょ
PartialEqとPartialOrdは別の型同士でも定義できる