a monoid that keeps track of the monoid usage