../../../../../Prelude/List/fold
Natural
[ +2, +3, +5 ]
Natural
(λ(x : Natural) → λ(y : Natural) → x + y)
+0