[codygman]

Picture map, filter, and fold as for loops with annotations that restrict what they can do. This helps both the source code reader (you and I) and the source code compiler more easily understand what's going on.

For the compiler this makes optimization easier. For the reader it makes reading easier after learning what these recursion primitives do.

It is also less code, meaning less room for bugs.