Add monoid instances for folds

There's applicative-like Monoid instance for both varians of folds.