public protocol MonadCombine : Alternative, MonadFilter
A MonadCombine has the capabilities of
Fold over the inner structure to combine all of the values with our combine method inherited from `MonoidK.
Nested contexts value.
A value in the context implementing this instance where the inner context has been folded.