dhall-1.21.0: dhall-lang/tests/normalization/success/prelude/List/fold/1B.dhall

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