Noether.Algebra.Single.Monoid

data MonoidE

class MonoidK op a s

type MonoidC op a

type family MonoidS (op :: k) (a :: Type) = (r :: MonoidE)