functional programming folding

---