Implement monoid.