dhall-1.14.0: tests/normalization/examples/List/fold/1B.dhall

λ(nil : Natural) → 2 + 3 + 5 + nil