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

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