instance
Eq
inverse
Group
GroupFunctions
isCommutative
SemigroupFunctions
isEmpty
Monoid
isFallback
Priority
isIdempotent
SemigroupFunctions
isPreferred
Priority