module Hix.These where import Data.These (These (..)) maybeThese :: Maybe a -> Maybe b -> Maybe (These a b) maybeThese :: forall a b. Maybe a -> Maybe b -> Maybe (These a b) maybeThese (Just a a) (Just b b) = These a b -> Maybe (These a b) forall a. a -> Maybe a Just (a -> b -> These a b forall a b. a -> b -> These a b These a a b b) maybeThese (Just a a) Maybe b Nothing = These a b -> Maybe (These a b) forall a. a -> Maybe a Just (a -> These a b forall a b. a -> These a b This a a) maybeThese Maybe a Nothing (Just b b) = These a b -> Maybe (These a b) forall a. a -> Maybe a Just (b -> These a b forall a b. b -> These a b That b b) maybeThese Maybe a Nothing Maybe b Nothing = Maybe (These a b) forall a. Maybe a Nothing