Noether.Algebra.Actions.Compatible

class CompatibleK lr op act a b s

data CompatibleE

type family CompatibleS (lr :: Side) (op :: k1) (act :: k2) (a :: Type) (b :: Type) = (r :: CompatibleE)