λ> foldr (+) 0 [1..5]
15
λ>