dhall-1.42.3: dhall-lang/tests/normalization/success/unit/NaturalBuildImplementationB.dhall

  λ(f : ∀(natural : Type) → (natural → natural) → natural → natural)
→ f Natural (λ(x : Natural) → x + 1) 0