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