dhall-1.42.3: dhall-lang/tests/normalization/success/unit/NaturalBuildImplementationA.dhall
λ(f : ∀(natural : Type) → (natural → natural) → natural → natural) → Natural/build f
λ(f : ∀(natural : Type) → (natural → natural) → natural → natural) → Natural/build f