dhall-1.25.0: dhall-lang/tests/semantic-hash/success/prelude/List/fold/2A.dhall

  λ(list : Type)
→ λ(cons : Natural → list → list)
→ λ(nil : list)
→ ../../../../../../Prelude/List/fold Natural [ 2, 3, 5 ] list cons nil