+# | Data.Number.Flint.NMod.Poly.Instances, Data.Number.Flint.Fmpz.Poly.Instances, Data.Number.Flint.Arb.Poly.Instances, Data.Number.Flint.Acb.Poly.Instances, Data.Number.Flint |
+## | Data.Number.Flint.NMod.Poly.Instances, Data.Number.Flint.Fmpz.Poly.Instances, Data.Number.Flint.Arb.Poly.Instances, Data.Number.Flint.Acb.Poly.Instances, Data.Number.Flint |