結果 : haskell type class functional dependency