diff --git a/src/Data/Bifunctor/These.hs b/src/Data/Bifunctor/These.hs index e22a48705..8c7d7c519 100644 --- a/src/Data/Bifunctor/These.hs +++ b/src/Data/Bifunctor/These.hs @@ -39,6 +39,10 @@ apThese fg ab = uncurry maybeThese $ uncurry (***) (bimap (<*>) (<*>) (unpack fg where unpack = fromThese Nothing Nothing . bimap Just Just +newtype Union a b = Union { getUnion :: Maybe (These a b) } + deriving (Eq, Show) + + -- Instances instance Bifunctor These where