Reductions and folding a collection from many items to one