よくわかんないけど、オレンジの主張は
a <=>b ってすれば
比較して順序な型返す関数(a,b) って書いたのと同じになってくれる　ようになって欲しいって意味だけどなってるのかも？＞＜