Data.SBV.Examples.Polynomials.Polynomials
type GF28
(<*>)
multUnit
multComm
multAssoc
polyDivMod
testGF28