Eliminate a foldl