The "initial" action in folds need not be monadic

[harendra-kumar]

When it is needed to be monadic we can use a bracket like combinator to introduce another state, like we do in streams.