prob1: foldl -> sum