/math/hs-semirings/