monus (hackage): A Monus is a commutative monoid that allows a notion of substraction, with the following laws:  x <> (y - x) = y <> (x - y)  (x - y) - z = x - (y <> z)  x - x = mempty  mempty - x = mempty
Keywords: bsd3|data|library