Pure efficient folds