Packages providing 'armor_monoid'