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

λ(zero : Natural) → +5 * +5 * +5 * zero