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