dhall-1.28.0: dhall-lang/tests/normalization/success/unit/ListBuildFoldFusionB.dhall
λ(T : Type)
→ λ(x : List T)
→ List/fold
T
x
(List T)
(λ(a : T) → λ(`as` : List T) → [ a ] # `as`)
([] : List T)
λ(T : Type)
→ λ(x : List T)
→ List/fold
T
x
(List T)
(λ(a : T) → λ(`as` : List T) → [ a ] # `as`)
([] : List T)