Move left fold to separate module
Move monadic folds to separate module
Rename for the better comprehension
Remove right fold

It doesn't make much sense in current formulation
Add type class for monoidal accumulators
Add function fromAcc