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

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