Data.Semigroup.MonadPlus
data
MonadSum
f a