Fold_map.Fold