Again let's call this `scanMonoid1` if it's emitting intermediate values, or `foldMonoid1` if it's emitting just the final value.