Semirings are like normal rings, except you can't subtract. This library provides a type class for semirings.