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

Natural/build
(λ(natural : Type) → λ(succ : natural → natural) → λ(zero : natural) → x)