monoids

Explores the use of monoids for embarrassingly parallel data processing, showing that traditionally sequential algorithms like Horner rule and Boyer-Moore majority voting can be parallelized via monoid composition. Also introduces vertical monoid composition for efficient nested grouping-aggregation.