Data.Semigroup.MonadPlus

data MonadSum f a