effect 3.16.1 → 3.16.3

package/dist/dts/Effect.d.ts

@@ -6712,6 +6712,66 @@ export declare const catchSomeDefect: {
  * @category Error handling
  */
 export declare const catchTag: {
+    /**
+     * Catches and handles specific errors by their `_tag` field, which is used as a
+     * discriminator.
+     *
+     * **When to Use**
+     *
+     * `catchTag` is useful when your errors are tagged with a readonly `_tag` field
+     * that identifies the error type. You can use this function to handle specific
+     * error types by matching the `_tag` value. This allows for precise error
+     * handling, ensuring that only specific errors are caught and handled.
+     *
+     * The error type must have a readonly `_tag` field to use `catchTag`. This
+     * field is used to identify and match errors.
+     *
+     * **Example** (Handling Errors by Tag)
+     *
+     * ```ts
+     * import { Effect, Random } from "effect"
+     *
+     * class HttpError {
+     *   readonly _tag = "HttpError"
+     * }
+     *
+     * class ValidationError {
+     *   readonly _tag = "ValidationError"
+     * }
+     *
+     * //      ┌─── Effect<string, HttpError | ValidationError, never>
+     * //      ▼
+     * const program = Effect.gen(function* () {
+     *   const n1 = yield* Random.next
+     *   const n2 = yield* Random.next
+     *   if (n1 < 0.5) {
+     *     yield* Effect.fail(new HttpError())
+     *   }
+     *   if (n2 < 0.5) {
+     *     yield* Effect.fail(new ValidationError())
+     *   }
+     *   return "some result"
+     * })
+     *
+     * //      ┌─── Effect<string, ValidationError, never>
+     * //      ▼
+     * const recovered = program.pipe(
+     *   // Only handle HttpError errors
+     *   Effect.catchTag("HttpError", (_HttpError) =>
+     *     Effect.succeed("Recovering from HttpError")
+     *   )
+     * )
+     * ```
+     *
+     * @see {@link catchTags} for a version that allows you to handle multiple error
+     * types at once.
+     *
+     * @since 2.0.0
+     * @category Error handling
+     */
+    <E, const K extends RA.NonEmptyReadonlyArray<E extends {
+        _tag: string;
+    } ? E["_tag"] : never>>(...tags: K): <A, R>(self: Effect<A, E, R> & "missing error handler") => never;
     /**
      * Catches and handles specific errors by their `_tag` field, which is used as a
      * discriminator.
@@ -6776,6 +6836,66 @@ export declare const catchTag: {
     }>) => Effect<A1, E1, R1>]): <A, R>(self: Effect<A, E, R>) => Effect<A | A1, Exclude<E, {
         _tag: K[number];
     }> | E1, R | R1>;
+    /**
+     * Catches and handles specific errors by their `_tag` field, which is used as a
+     * discriminator.
+     *
+     * **When to Use**
+     *
+     * `catchTag` is useful when your errors are tagged with a readonly `_tag` field
+     * that identifies the error type. You can use this function to handle specific
+     * error types by matching the `_tag` value. This allows for precise error
+     * handling, ensuring that only specific errors are caught and handled.
+     *
+     * The error type must have a readonly `_tag` field to use `catchTag`. This
+     * field is used to identify and match errors.
+     *
+     * **Example** (Handling Errors by Tag)
+     *
+     * ```ts
+     * import { Effect, Random } from "effect"
+     *
+     * class HttpError {
+     *   readonly _tag = "HttpError"
+     * }
+     *
+     * class ValidationError {
+     *   readonly _tag = "ValidationError"
+     * }
+     *
+     * //      ┌─── Effect<string, HttpError | ValidationError, never>
+     * //      ▼
+     * const program = Effect.gen(function* () {
+     *   const n1 = yield* Random.next
+     *   const n2 = yield* Random.next
+     *   if (n1 < 0.5) {
+     *     yield* Effect.fail(new HttpError())
+     *   }
+     *   if (n2 < 0.5) {
+     *     yield* Effect.fail(new ValidationError())
+     *   }
+     *   return "some result"
+     * })
+     *
+     * //      ┌─── Effect<string, ValidationError, never>
+     * //      ▼
+     * const recovered = program.pipe(
+     *   // Only handle HttpError errors
+     *   Effect.catchTag("HttpError", (_HttpError) =>
+     *     Effect.succeed("Recovering from HttpError")
+     *   )
+     * )
+     * ```
+     *
+     * @see {@link catchTags} for a version that allows you to handle multiple error
+     * types at once.
+     *
+     * @since 2.0.0
+     * @category Error handling
+     */
+    <A, E, R, const K extends RA.NonEmptyReadonlyArray<E extends {
+        _tag: string;
+    } ? E["_tag"] : never>>(self: Effect<A, E, R> & "missing error handler", ...tags: K): never;
     /**
      * Catches and handles specific errors by their `_tag` field, which is used as a
      * discriminator.
@@ -26602,128 +26722,128 @@ export declare namespace fn {
      * @category Models
      */
     type Gen = {
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>): (this: Self, ...args: Args) => Effect<AEff, [
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>>(body: (...args: Args) => Generator<Eff, AEff, never>): (...args: Args) => Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>;
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A extends Effect<any, any, any>>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
-        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A): (this: Self, ...args: Args) => Effect.AsEffect<A>;
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B extends Effect<any, any, any>>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A): (...args: Args) => Effect.AsEffect<A>;
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
-        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B): (this: Self, ...args: Args) => Effect.AsEffect<B>;
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C extends Effect<any, any, any>>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B): (...args: Args) => Effect.AsEffect<B>;
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
-        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C): (this: Self, ...args: Args) => Effect.AsEffect<C>;
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D extends Effect<any, any, any>>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C): (...args: Args) => Effect.AsEffect<C>;
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
-        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D): (this: Self, ...args: Args) => Effect.AsEffect<D>;
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E extends Effect<any, any, any>>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D): (...args: Args) => Effect.AsEffect<D>;
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
-        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E): (this: Self, ...args: Args) => Effect.AsEffect<E>;
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F extends Effect<any, any, any>>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E): (...args: Args) => Effect.AsEffect<E>;
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
-        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E, f: (_: E, ...args: NoInfer<Args>) => F): (this: Self, ...args: Args) => Effect.AsEffect<F>;
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F, G extends Effect<any, any, any>>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E, f: (_: E, ...args: NoInfer<Args>) => F): (...args: Args) => Effect.AsEffect<F>;
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F, G extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
-        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E, f: (_: E, ...args: NoInfer<Args>) => F, g: (_: F, ...args: NoInfer<Args>) => G): (this: Self, ...args: Args) => Effect.AsEffect<G>;
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H extends Effect<any, any, any>>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E, f: (_: E, ...args: NoInfer<Args>) => F, g: (_: F, ...args: NoInfer<Args>) => G): (...args: Args) => Effect.AsEffect<G>;
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
-        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E, f: (_: E, ...args: NoInfer<Args>) => F, g: (_: F, ...args: NoInfer<Args>) => G, h: (_: G, ...args: NoInfer<Args>) => H): (this: Self, ...args: Args) => Effect.AsEffect<H>;
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I extends Effect<any, any, any>>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E, f: (_: E, ...args: NoInfer<Args>) => F, g: (_: F, ...args: NoInfer<Args>) => G, h: (_: G, ...args: NoInfer<Args>) => H): (...args: Args) => Effect.AsEffect<H>;
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I extends Effect<any, any, any>>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
-        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E, f: (_: E, ...args: NoInfer<Args>) => F, g: (_: F, ...args: NoInfer<Args>) => G, h: (_: G, ...args: NoInfer<Args>) => H, i: (_: H, ...args: NoInfer<Args>) => I): (this: Self, ...args: Args) => Effect.AsEffect<I>;
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E, f: (_: E, ...args: NoInfer<Args>) => F, g: (_: F, ...args: NoInfer<Args>) => G, h: (_: G, ...args: NoInfer<Args>) => H, i: (_: H, ...args: NoInfer<Args>) => I): (...args: Args) => Effect.AsEffect<I>;
     };
     /**
      * @since 3.11.0
      * @category Models
      */
     type NonGen = {
-        <Self, Eff extends Effect<any, any, any>, Args extends Array<any>>(body: (this: Self, ...args: Args) => Eff): (this: Self, ...args: Args) => Effect.AsEffect<Eff>;
-        <Self, Eff extends Effect<any, any, any>, A, Args extends Array<any>>(body: (this: Self, ...args: Args) => A, a: (_: A, ...args: NoInfer<Args>) => Eff): (this: Self, ...args: Args) => Effect.AsEffect<Eff>;
-        <Self, Eff extends Effect<any, any, any>, A, B, Args extends Array<any>>(body: (this: Self, ...args: Args) => A, a: (_: A, ...args: NoInfer<Args>) => B, b: (_: B, ...args: NoInfer<Args>) => Eff): (this: Self, ...args: Args) => Effect.AsEffect<Eff>;
-        <Self, Eff extends Effect<any, any, any>, A, B, C, Args extends Array<any>>(body: (this: Self, ...args: Args) => A, a: (_: A, ...args: NoInfer<Args>) => B, b: (_: B, ...args: NoInfer<Args>) => C, c: (_: C, ...args: NoInfer<Args>) => Eff): (this: Self, ...args: Args) => Effect.AsEffect<Eff>;
-        <Self, Eff extends Effect<any, any, any>, A, B, C, D, Args extends Array<any>>(body: (this: Self, ...args: Args) => A, a: (_: A, ...args: NoInfer<Args>) => B, b: (_: B, ...args: NoInfer<Args>) => C, c: (_: C, ...args: NoInfer<Args>) => D, d: (_: D, ...args: NoInfer<Args>) => Eff): (this: Self, ...args: Args) => Effect.AsEffect<Eff>;
-        <Self, Eff extends Effect<any, any, any>, A, B, C, D, E, Args extends Array<any>>(body: (this: Self, ...args: Args) => A, a: (_: A, ...args: NoInfer<Args>) => B, b: (_: B, ...args: NoInfer<Args>) => C, c: (_: C, ...args: NoInfer<Args>) => D, d: (_: D, ...args: NoInfer<Args>) => E, e: (_: E, ...args: NoInfer<Args>) => Eff): (this: Self, ...args: Args) => Effect.AsEffect<Eff>;
-        <Self, Eff extends Effect<any, any, any>, A, B, C, D, E, F, Args extends Array<any>>(body: (this: Self, ...args: Args) => A, a: (_: A, ...args: NoInfer<Args>) => B, b: (_: B, ...args: NoInfer<Args>) => C, c: (_: C, ...args: NoInfer<Args>) => D, d: (_: D, ...args: NoInfer<Args>) => E, e: (_: E, ...args: NoInfer<Args>) => F, f: (_: F, ...args: NoInfer<Args>) => Eff): (this: Self, ...args: Args) => Effect.AsEffect<Eff>;
-        <Self, Eff extends Effect<any, any, any>, A, B, C, D, E, F, G, Args extends Array<any>>(body: (this: Self, ...args: Args) => A, a: (_: A, ...args: NoInfer<Args>) => B, b: (_: B, ...args: NoInfer<Args>) => C, c: (_: C, ...args: NoInfer<Args>) => D, d: (_: D, ...args: NoInfer<Args>) => E, e: (_: E, ...args: NoInfer<Args>) => F, f: (_: F, ...args: NoInfer<Args>) => G, g: (_: G, ...args: NoInfer<Args>) => Eff): (this: Self, ...args: Args) => Effect.AsEffect<Eff>;
-        <Self, Eff extends Effect<any, any, any>, A, B, C, D, E, F, G, H, Args extends Array<any>>(body: (this: Self, ...args: Args) => A, a: (_: A, ...args: NoInfer<Args>) => B, b: (_: B, ...args: NoInfer<Args>) => C, c: (_: C, ...args: NoInfer<Args>) => D, d: (_: D, ...args: NoInfer<Args>) => E, e: (_: E, ...args: NoInfer<Args>) => F, f: (_: F, ...args: NoInfer<Args>) => G, g: (_: G, ...args: NoInfer<Args>) => H, h: (_: H, ...args: NoInfer<Args>) => Eff): (this: Self, ...args: Args) => Effect.AsEffect<Eff>;
-        <Self, Eff extends Effect<any, any, any>, A, B, C, D, E, F, G, H, I, Args extends Array<any>>(body: (this: Self, ...args: Args) => A, a: (_: A, ...args: NoInfer<Args>) => B, b: (_: B, ...args: NoInfer<Args>) => C, c: (_: C, ...args: NoInfer<Args>) => D, d: (_: D, ...args: NoInfer<Args>) => E, e: (_: E, ...args: NoInfer<Args>) => F, f: (_: F, ...args: NoInfer<Args>) => G, g: (_: G, ...args: NoInfer<Args>) => H, h: (_: H, ...args: NoInfer<Args>) => I, i: (_: H, ...args: NoInfer<Args>) => Eff): (this: Self, ...args: Args) => Effect.AsEffect<Eff>;
+        <Eff extends Effect<any, any, any>, Args extends Array<any>>(body: (...args: Args) => Eff): (...args: Args) => Effect.AsEffect<Eff>;
+        <Eff extends Effect<any, any, any>, A, Args extends Array<any>>(body: (...args: Args) => A, a: (_: A, ...args: NoInfer<Args>) => Eff): (...args: Args) => Effect.AsEffect<Eff>;
+        <Eff extends Effect<any, any, any>, A, B, Args extends Array<any>>(body: (...args: Args) => A, a: (_: A, ...args: NoInfer<Args>) => B, b: (_: B, ...args: NoInfer<Args>) => Eff): (...args: Args) => Effect.AsEffect<Eff>;
+        <Eff extends Effect<any, any, any>, A, B, C, Args extends Array<any>>(body: (...args: Args) => A, a: (_: A, ...args: NoInfer<Args>) => B, b: (_: B, ...args: NoInfer<Args>) => C, c: (_: C, ...args: NoInfer<Args>) => Eff): (...args: Args) => Effect.AsEffect<Eff>;
+        <Eff extends Effect<any, any, any>, A, B, C, D, Args extends Array<any>>(body: (...args: Args) => A, a: (_: A, ...args: NoInfer<Args>) => B, b: (_: B, ...args: NoInfer<Args>) => C, c: (_: C, ...args: NoInfer<Args>) => D, d: (_: D, ...args: NoInfer<Args>) => Eff): (...args: Args) => Effect.AsEffect<Eff>;
+        <Eff extends Effect<any, any, any>, A, B, C, D, E, Args extends Array<any>>(body: (...args: Args) => A, a: (_: A, ...args: NoInfer<Args>) => B, b: (_: B, ...args: NoInfer<Args>) => C, c: (_: C, ...args: NoInfer<Args>) => D, d: (_: D, ...args: NoInfer<Args>) => E, e: (_: E, ...args: NoInfer<Args>) => Eff): (...args: Args) => Effect.AsEffect<Eff>;
+        <Eff extends Effect<any, any, any>, A, B, C, D, E, F, Args extends Array<any>>(body: (...args: Args) => A, a: (_: A, ...args: NoInfer<Args>) => B, b: (_: B, ...args: NoInfer<Args>) => C, c: (_: C, ...args: NoInfer<Args>) => D, d: (_: D, ...args: NoInfer<Args>) => E, e: (_: E, ...args: NoInfer<Args>) => F, f: (_: F, ...args: NoInfer<Args>) => Eff): (...args: Args) => Effect.AsEffect<Eff>;
+        <Eff extends Effect<any, any, any>, A, B, C, D, E, F, G, Args extends Array<any>>(body: (...args: Args) => A, a: (_: A, ...args: NoInfer<Args>) => B, b: (_: B, ...args: NoInfer<Args>) => C, c: (_: C, ...args: NoInfer<Args>) => D, d: (_: D, ...args: NoInfer<Args>) => E, e: (_: E, ...args: NoInfer<Args>) => F, f: (_: F, ...args: NoInfer<Args>) => G, g: (_: G, ...args: NoInfer<Args>) => Eff): (...args: Args) => Effect.AsEffect<Eff>;
+        <Eff extends Effect<any, any, any>, A, B, C, D, E, F, G, H, Args extends Array<any>>(body: (...args: Args) => A, a: (_: A, ...args: NoInfer<Args>) => B, b: (_: B, ...args: NoInfer<Args>) => C, c: (_: C, ...args: NoInfer<Args>) => D, d: (_: D, ...args: NoInfer<Args>) => E, e: (_: E, ...args: NoInfer<Args>) => F, f: (_: F, ...args: NoInfer<Args>) => G, g: (_: G, ...args: NoInfer<Args>) => H, h: (_: H, ...args: NoInfer<Args>) => Eff): (...args: Args) => Effect.AsEffect<Eff>;
+        <Eff extends Effect<any, any, any>, A, B, C, D, E, F, G, H, I, Args extends Array<any>>(body: (...args: Args) => A, a: (_: A, ...args: NoInfer<Args>) => B, b: (_: B, ...args: NoInfer<Args>) => C, c: (_: C, ...args: NoInfer<Args>) => D, d: (_: D, ...args: NoInfer<Args>) => E, e: (_: E, ...args: NoInfer<Args>) => F, f: (_: F, ...args: NoInfer<Args>) => G, g: (_: G, ...args: NoInfer<Args>) => H, h: (_: H, ...args: NoInfer<Args>) => I, i: (_: H, ...args: NoInfer<Args>) => Eff): (...args: Args) => Effect.AsEffect<Eff>;
     };
     /**
      * @since 3.11.0
      * @category Models
      */
     type Untraced = {
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>): (this: Self, ...args: Args) => Effect<AEff, [
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>>(body: (...args: Args) => Generator<Eff, AEff, never>): (...args: Args) => Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>;
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
-        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A): (this: Self, ...args: Args) => A;
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A): (...args: Args) => A;
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
-        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B): (this: Self, ...args: Args) => B;
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B): (...args: Args) => B;
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
-        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C): (this: Self, ...args: Args) => C;
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C): (...args: Args) => C;
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
-        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D): (this: Self, ...args: Args) => D;
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D): (...args: Args) => D;
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
-        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E): (this: Self, ...args: Args) => E;
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E): (...args: Args) => E;
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
-        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E, f: (_: E, ...args: NoInfer<Args>) => F): (this: Self, ...args: Args) => F;
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F, G>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E, f: (_: E, ...args: NoInfer<Args>) => F): (...args: Args) => F;
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F, G>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
-        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E, f: (_: E, ...args: NoInfer<Args>) => F, g: (_: F, ...args: NoInfer<Args>) => G): (this: Self, ...args: Args) => G;
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E, f: (_: E, ...args: NoInfer<Args>) => F, g: (_: F, ...args: NoInfer<Args>) => G): (...args: Args) => G;
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
-        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E, f: (_: E, ...args: NoInfer<Args>) => F, g: (_: F, ...args: NoInfer<Args>) => G, h: (_: G, ...args: NoInfer<Args>) => H): (this: Self, ...args: Args) => H;
-        <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I>(body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E, f: (_: E, ...args: NoInfer<Args>) => F, g: (_: F, ...args: NoInfer<Args>) => G, h: (_: G, ...args: NoInfer<Args>) => H): (...args: Args) => H;
+        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B, C, D, E, F, G, H, I>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
             Eff
         ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never, [
             Eff
-        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E, f: (_: E, ...args: NoInfer<Args>) => F, g: (_: F, ...args: NoInfer<Args>) => G, h: (_: G, ...args: NoInfer<Args>) => H, i: (_: H, ...args: NoInfer<Args>) => I): (this: Self, ...args: Args) => I;
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: NoInfer<Args>) => A, b: (_: A, ...args: NoInfer<Args>) => B, c: (_: B, ...args: NoInfer<Args>) => C, d: (_: C, ...args: NoInfer<Args>) => D, e: (_: D, ...args: NoInfer<Args>) => E, f: (_: E, ...args: NoInfer<Args>) => F, g: (_: F, ...args: NoInfer<Args>) => G, h: (_: G, ...args: NoInfer<Args>) => H, i: (_: H, ...args: NoInfer<Args>) => I): (...args: Args) => I;
     };
 }
 /**