In this case, do you mean ``Monoid``?