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

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