reducemonoid

Reduce with an associative operation