Precursor.Algebra.Semiring

class Semiring a