:: Monad m => (b -> a -> m b) -> b -> t a -> m b package:vector

O(n) Monadic fold.
O(n) Monadic fold with strict accumulator.