about strict left folds