IntegralDomainWithoutDivision
AlgebraicStructureTraits
AdaptableUnaryFunction
CopyConstructible
DefaultConstructible
AdaptableBinaryFunction
AdaptableFunctor
Assignable