While this isn't undeniable proof, it's interesting none the less, Simon Peyton Jones: Data Parallel Haskell. http://www.youtube.com/watch?v=NWSZ4c9yqW8 http:/

While this isn't undeniable proof, it's interesting none the less, Simon Peyton Jones: Data Parallel Haskell. http://www.youtube.com/watch?v=NWSZ4c9yqW8 http://www.youtube.com/watch?v=NWSZ4c9yqW8 He talks about how this scheme can parallelize non-trivial data structures, and how tedious book keeping can be avoided. I haven't used it yet in a project, so I can't speak of its efficacy - but worth a watch, imho.