diff --git a/src/Data/Bifunctor/These.hs b/src/Data/Bifunctor/These.hs index c0175a7f5..5b92fcf44 100644 --- a/src/Data/Bifunctor/These.hs +++ b/src/Data/Bifunctor/These.hs @@ -42,6 +42,9 @@ apThese fg ab = uncurry maybeThese $ uncurry (***) (bimap (<*>) (<*>) (unpack fg newtype Union a b = Union { getUnion :: Maybe (These a b) } deriving (Eq, Show) +newtype Intersection a b = Intersection { getIntersection :: Maybe (These a b) } + deriving (Eq, Show) + -- Instances