isAdditiveCommutative
AdditiveSemigroupFunctions
isMultiplicativeCommutative
MultiplicativeSemigroupFunctions
isOne
MultiplicativeMonoid
MultiplicativeMonoidFunctions
isZero
AdditiveMonoid
AdditiveMonoidFunctions