Documentation

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 #