Semiring instances and functions
spago install semirings
Module documentation is published on Pursuit.