@hackage/monoid-semiring

First release. The monoid semiring M →₀ S: finitely supported functions from a monoid M to a semiring S (the Semiring class of the semirings package), multiplied by the generalized Cauchy product (f * g)(s) = Σ_{uv = s} f(u) · g(v).
Representation invariant: no explicit zero coefficients, so derived equality coincides with equality of functions.
Oracle test suite: the seven semiring laws at three (M, S) instances (polynomials, formal languages, tropical multivariate), differential test against the naive definition, Fibonacci (A000045) and Catalan (A000108) generating-function coefficients against vendored OEIS b-files.

@hackage / monoid-semiring