Probably too late for you to see this, but free objects are very common in Haskell-land. And free monoids are basically concatenation. But you'll see all kind of monoids :)