Well, it works, but is it a monoid?