One can draw the structure of a recursive data structure as a tree. Given that tree, we can visualise a fold as a structural transformation:
But we can add more granularity:
The above better shows the recursive process involved in a fold.
This process also makes sense for other data structures:
