Noether.Algebra.Single.Neutral

data NeutralE

class NeutralK op a s

type family NeutralS (op :: k) (a :: Type) = (r :: NeutralE)

type Neutral op a