Add monoid tests