annihilator-0.1.0.0: Semigroups with annihilators and utility functions