All monoids are semigroups, but not vice-versa. Some of our agregations are only semigroups (consider QTree or SpaceSaver). I think we should use Option[O] or this will only be usable by a subset.

Also, whatabout the duplicate string? createCreatable? What are your thoughts on that relative to just create?