Foldl correctly handles empty vectors