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

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