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

List/build A0 (λ(list : Type) → λ(cons : A0 → list → list) → λ(nil : list) → x)