folding in some foldl