NonEmptyChunkAssociativeBoth
NonEmptyChunkCommutativeBoth
NonEmptyChunkIdentityFlatten
NonEmptyChunkNonEmptyForEach
NonEmptyListCommutativeBoth
NonEmptyListIdentityFlatten
NonEmptyListNonEmptyForEach
NonEmptySetCommutativeIdempotent
NonEmptySetHashPartialOrd