PCounter is a Monoid