Agda.Termination.Semiring
class HasZero a
class SemiRing a
data Semiring a