Grisette.Lib.Data.Functor.Sum
mrgInR :: forall {k :: Type} (f :: k -> Type) (g :: k -> Type) (a :: k) m. (Mergeable (Sum f g a), Applicative m, TryMerge m) => g a -> m (Sum f g a) Source #
mrgInL :: forall {k :: Type} (f :: k -> Type) (g :: k -> Type) (a :: k) m. (Mergeable (Sum f g a), Applicative m, TryMerge m) => f a -> m (Sum f g a) Source #