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

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