dhall-1.22.0: dhall-lang/tests/normalization/success/unit/NaturalFoldOneA.dhall

Natural/fold 1 Natural (λ(x : Natural) → x) x