add foldl ex