NameBindings is a monoid