Li-Fan Chen
says to
YSITD
Eq 代表的是 a 有 (==) :: a -> a-> Bool 這個函數可以用