Noether.Algebra.Inference

data Synergise a

type Infer t a h

data Prim

data DerivedFrom a

type family Strategy (t :: k) (a :: Type) (hint :: Symbol) :: Type