foldl' semantic change