msum package:optics-core

msumOf :: (Is k A_Fold, MonadPlus m) => Optic' k is s (m a) -> s -> m a
optics-core Optics.Fold
The sum of a collection of actions. 
>>> msumOf each ("hello","world")
"helloworld"

>>> msumOf each (Nothing, Just "hello", Nothing)
Just "hello"

msum ≡ msumOf folded