WPI
Monoid definition complete