Noether.Algebra.Single.Group

type family GroupS (op :: k) (a :: Type) = (r :: GroupE)

data GroupE

class GroupK op a s

type GroupC op a