taxonomy of trees/sets/lists? automatic parallelization?

On slide 59, Guy Steele shows how to automatically translate serial into parallel code!:

http://groups.csail.mit.edu/mac/users/gjs/6.945/readings/MITApril2009Steele.pdf