Я, конечно, проглядел по диагонали, но вывод про fold'ы мне не очень понятен. Fold над списком, да, не параллелится. Fold над сбалансированным деревом, да, лучше (в смысле потенциального распараллеливания). Там есть что-то менее тривиальное?

Вот, кстати, задумался. Для наиболее эффективного распараллеливания на N процессоров имеет ли смысл пихать данные в RoseTree c branching factor = N? Какие алгоритмы будут к этому отзывчивы?