/**
 * Composes this stream with the specified stream to create a cartesian
 * product of elements, but keeps only elements from this stream. The `that`
 * stream would be run multiple times, for every element in the `this` stream.
 *
 * See also `Stream.zipLeft` for the more common point-wise variant.
 *
 * @tsplus pipeable-operator effect/core/stream/Stream <
 * @tsplus static effect/core/stream/Stream.Aspects crossLeft
 * @tsplus pipeable effect/core/stream/Stream crossLeft
 */
export function crossLeft<R2, E2, A2>(that: Stream<R2, E2, A2>) {
  return <R, E, A>(self: Stream<R, E, A>): Stream<R | R2, E | E2, A> =>
    self.cross(that).map((tuple) => tuple[0])
}