Added Monoid instances to Summary types

I added these instances for my own parallel monte-carlo needs.

Please merge. :)