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

List/fold A0 [ x ] B (λ(x : A0) → λ(y : B) → x) z