DeriveEqualIdentityBothInvariant
DeriveEqualIdentityEitherInvariant
DeriveEqualNonEmptyForEach
DoubleMaxCommutativeIdempotentIdentity
DoubleMinCommutativeIdempotentIdentity
DoubleProdCommutativeIdentity
DoubleSumCommutativeInverse
DurationZIOCommutativeIdentity