foldl laziness support