We already have `mapM` and `forM` in foundation, why not provide `foldM` ?
We already have
mapMandforMin foundation, why not providefoldM?