@hackage / monus

a 'Monus' is a commutative monoid that allows a notion of substraction.