レコードとバリアントの双対性について - Qiita

{-# LANGUAGE Rank2Types #-} -- パターンマッチ自体をレコードとして表現する data MatchEither a b c = MatchEither { whenLeft :: a -> c, whenRight :: b -> c } -- レコードとして表現されたバリアント newtype RecEither a b = RecEither { unRecEither :: forall c. MatchEither a b c -> c } -- コンストラクタ left :: a -> RecEither a b left x = RecEither (\match -> whenLeft match x) right :: b -> RecEither a b right x = RecEither (\match -> whenRight matc