Noether.Algebra.Single.Commutative

data CommutativeE

class CommutativeK op a s

type Commutative op a

type family CommutativeS (op :: k) (a :: Type) = (r :: CommutativeE)