Noether.Algebra.Actions.API
type CompatibleC lr op act a b
type Compatible lr op act a b
type LeftCompatible act ao a b
type RightCompatible act ao a b
type Acts lr op a b
type LeftActs op a b
type RightActs op a b
type BiActs op a b
type ActorLinearC lr act ao a bo b
type ActeeLinearC lr act a bo b
type LinearActsOn lr act ao a bo b
type LinearActs act ao a bo b
type LeftLinear act ao a bo b
type RightLinear act ao a bo b