Haskellで型クラス制約の和を表現する - Qiita

Haskellで型クラス制約の和を表現する - Qiita:

Haskellで型クラス制約の和を表現する - Qiita



問題 Haskellでコードを書いている時、「複数の型クラス制約のうち一つを満たすような型」を扱うような関数を書きたい場合があります。擬似コードで書けば、 class Foo a where foo :: a -> String class Bar a where bar :: a -> Int instance Foo Integer where foo = show instance Bar Int where bar = id -- 型クラ...