Jorge Adriano Branco Aires

@travisbrown some further comments on possible improvements: **Consistency laws: unordered and ordered fold/reduce:** We could test consistency between unordered folds/reduce and their "ordered" counterparts. For `unorderedReduceOption` the law would be,...