Added Monoid instances to Summary types

I added these instances for my own parallel monte-carlo needs.

Please merge, but also do a bit of code review. I don't really know how to test this...