Noether.Algebra.Single.Cancellative

data CancellativeE

class CancellativeK op a s

type Cancellative op a

type family CancellativeS (op :: k) (a :: Type) = (r :: CancellativeE)