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

  λ(T : Type)
→ λ(f : ∀(list : Type) → (T → list → list) → list → list)
→ List/build T f