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

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 -- 型クラス制約の「和」を取る関数を定義したい someFunc :: (Foo a OR Bar a) => a -> IO () someFunc x = let y = foo x OR ("Bar:" ++ show (bar x)) in putStrLn y main :: IO () main = do someFunc (123 :: Integer) -- Integer は Foo を満たす someFunc (456 :: Int) -- Int は Bar を満たす という風に書きたい状

[vanbraam]

Haskell読めないので詳細は理解してないけど,"制約の和を表現する"というのでPrologを連想した

[igrep]

GADTs便利だよな

[lotz84]

GADTsを使ってデータ型に型クラス制約を埋め込むの便利