/**
 * Composes this sample with the specified sample to create a cartesian
 * product of values and shrinkings.
 *
 * @tsplus static effect/core/testing/Sample.Aspects zipFlatten
 * @tsplus pipeable effect/core/testing/Sample zipFlatten
 */
export function zipFlatten<R2, A2>(that: Sample<R2, A2>) {
  return <R, A extends ReadonlyArray<any>>(
    self: Sample<R, A>
  ): Sample<R | R2, readonly [...A, A2]> => self.zipWith(that, (a, b) => [...a, b])
}