NaturalProdCommutativeIdentity
NaturalSumCommutativeInverse
NonEmptyChunkAssociativeBoth
NonEmptyChunkCommutativeBoth
NonEmptyChunkIdentityFlatten
NonEmptyChunkNonEmptyForEach
NonEmptyListAssociativeEither
NonEmptyListCommutativeBoth
NonEmptyListIdentityFlatten
NonEmptyListNonEmptyForEach
NonEmptySetCommutativeEither
NonEmptySetCommutativeIdempotent
NonEmptySetHashPartialOrd