f:AbGroup
f:AbMonoid
f:AbSemGrp
f:Algebra
f:CanAbMon
f:CommRing
f:DiffRing
f:EntRing
f:EuclDom
f:FactDom
f:Field
f:FinCollC
f:GcdDom
f:Group
f:HFiProdC
f:HFinColC
f:IntegDom
f:LeftMod
f:MatCat
f:Module
f:Monoid
f:OrdSet
f:PDiffRng
f:PolyCat
f:PrIdDom
f:QuoField
f:RightMod
f:Ring
f:Rng
f:SemiGrp
f:SetCat
f:SkewFld
f:SqMatCat
f:UPolyCat
f:rep_sq
