CharMaxIdempotentIdentity
CharMinIdempotentIdentity
CharProdCommutativeIdentity
CharSumCommutativeInverse
CommutativeBothContraVariantOps
CommutativeBothCovariantOps
CommutativeBothDeriveEqualInvariant
CommutativeBothTuple10Ops
CommutativeBothTuple11Ops
CommutativeBothTuple12Ops
CommutativeBothTuple13Ops
CommutativeBothTuple14Ops
CommutativeBothTuple15Ops
CommutativeBothTuple16Ops
CommutativeBothTuple17Ops
CommutativeBothTuple18Ops
CommutativeBothTuple19Ops
CommutativeBothTuple20Ops
CommutativeBothTuple21Ops
CommutativeBothTuple22Ops
CommutativeEitherContravariantOps
CommutativeEitherCovariantOps
CommutativeEitherDeriveEqualInvariant
CovariantDeriveEqualIdentityFlatten