Li-Fan Chen says to YSITD
=== 不就是值相等 型態也要相等?