dhall-1.22.0: dhall-lang/tests/normalization/success/prelude/List/fold/1A.dhall

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