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