monoid instances for flags