Li-Fan Chen
says to
YSITD
a 是一個具有 Eq 的資料類型