NamedTagsAreMonoid
define a very coarse Monoid for NamedTags where appending 2 NamedTags returns a Tag object with both list of tags
NamedTagsAreMonoid.type
define a very coarse Monoid for NamedTags where appending 2 NamedTags returns a Tag object with both list of tags