Li-Fan Chen
says to
YSITD
明明不需要 硬要提到 total order