dhall-1.25.0: dhall-lang/tests/semantic-hash/success/prelude/List/fold/0A.dhall
../../../../../../Prelude/List/fold Natural [ 2, 3, 5 ] Natural (λ(x : Natural) → λ(y : Natural) → x + y) 0
../../../../../../Prelude/List/fold Natural [ 2, 3, 5 ] Natural (λ(x : Natural) → λ(y : Natural) → x + y) 0