dhall-1.28.0: dhall-lang/tests/normalization/success/unit/NaturalBuildFoldFusionB.dhall

λ(x : Natural) → Natural/fold x Natural (λ(n : Natural) → n + 1) 0