Add Monoid

Fixes #6