Added more on folds wrt replacing loops