dhall-1.19.0: tests/normalization/success/prelude/List/fold/2B.dhall

  λ(list : Type)
→ λ(cons : Natural → list → list)
→ λ(nil : list)
→ cons 2 (cons 3 (cons 5 nil))