Noether.Algebra.Multiple.Semiring

type family SemiringS (add :: ka) (mul :: km) (a :: Type) = (r :: SemiringE)

data SemiringE

class SemiringK add mul a s

type SemiringC p m a