Li-Fan Chen says to YSITD 我們可以制定自己的比較函數 f data Nubase = A | T | C | G derive Eq joined :: Nubase -> Nubase joined A = T joined T = A joined C = G joined G = C f :: Nubase -> Nubase -> Bool f x y = (x == (joined y))