effect 3.15.0 → 3.15.2

package/dist/dts/Effect.d.ts

@@ -15526,7 +15526,7 @@ export declare const filterOrDie: {
      * @since 2.0.0
      * @category Filtering
      */
-    <A, B extends A = A>(predicate: Predicate<NoInfer<A>> | Refinement<NoInfer<A>, B>, orDieWith: (a: EqualsWith<A, B, A, Exclude<A, B>>) => unknown): <E, R>(self: Effect<A, E, R>) => Effect<B, E, R>;
+    <A, B extends A>(refinement: Refinement<NoInfer<A>, B>, orDieWith: (a: EqualsWith<A, B, A, Exclude<A, B>>) => unknown): <E, R>(self: Effect<A, E, R>) => Effect<B, E, R>;
     /**
      * Filters an effect, dying with a custom defect if the predicate fails.
      *
@@ -15544,7 +15544,43 @@ export declare const filterOrDie: {
      * @since 2.0.0
      * @category Filtering
      */
-    <A, E, R, B extends A>(self: Effect<A, E, R>, predicate: Predicate<A> | Refinement<A, B>, orDieWith: (a: EqualsWith<A, B, A, Exclude<A, B>>) => unknown): Effect<B, E, R>;
+    <A>(predicate: Predicate<NoInfer<A>>, orDieWith: (a: NoInfer<A>) => unknown): <E, R>(self: Effect<A, E, R>) => Effect<A, E, R>;
+    /**
+     * Filters an effect, dying with a custom defect if the predicate fails.
+     *
+     * **Details**
+     *
+     * This function applies a predicate to the result of an effect. If the
+     * predicate evaluates to `false`, the effect dies with a custom defect
+     * generated by the `orDieWith` function.
+     *
+     * **When to Use**
+     *
+     * This is useful for enforcing constraints on values and treating violations as
+     * fatal program errors.
+     *
+     * @since 2.0.0
+     * @category Filtering
+     */
+    <A, E, R, B extends A>(self: Effect<A, E, R>, refinement: Refinement<A, B>, orDieWith: (a: EqualsWith<A, B, A, Exclude<A, B>>) => unknown): Effect<B, E, R>;
+    /**
+     * Filters an effect, dying with a custom defect if the predicate fails.
+     *
+     * **Details**
+     *
+     * This function applies a predicate to the result of an effect. If the
+     * predicate evaluates to `false`, the effect dies with a custom defect
+     * generated by the `orDieWith` function.
+     *
+     * **When to Use**
+     *
+     * This is useful for enforcing constraints on values and treating violations as
+     * fatal program errors.
+     *
+     * @since 2.0.0
+     * @category Filtering
+     */
+    <A, E, R>(self: Effect<A, E, R>, predicate: Predicate<A>, orDieWith: (a: A) => unknown): Effect<A, E, R>;
 };
 /**
  * Filters an effect, dying with a custom message if the predicate fails.
@@ -15571,7 +15607,7 @@ export declare const filterOrDieMessage: {
      * @since 2.0.0
      * @category Filtering
      */
-    <A, B extends A = A>(predicate: Predicate<NoInfer<A>> | Refinement<NoInfer<A>, B>, message: string): <E, R>(self: Effect<A, E, R>) => Effect<B, E, R>;
+    <A, B extends A>(refinement: Refinement<NoInfer<A>, B>, message: string): <E, R>(self: Effect<A, E, R>) => Effect<B, E, R>;
     /**
      * Filters an effect, dying with a custom message if the predicate fails.
      *
@@ -15584,7 +15620,33 @@ export declare const filterOrDieMessage: {
      * @since 2.0.0
      * @category Filtering
      */
-    <A, E, R, B extends A = A>(self: Effect<A, E, R>, predicate: Predicate<A> | Refinement<A, B>, message: string): Effect<B, E, R>;
+    <A>(predicate: Predicate<NoInfer<A>>, message: string): <E, R>(self: Effect<A, E, R>) => Effect<A, E, R>;
+    /**
+     * Filters an effect, dying with a custom message if the predicate fails.
+     *
+     * **Details**
+     *
+     * This function works like {@link filterOrDie} but allows you to specify a
+     * custom error message to describe the reason for the failure. The message is
+     * included in the defect when the predicate evaluates to `false`.
+     *
+     * @since 2.0.0
+     * @category Filtering
+     */
+    <A, E, R, B extends A>(self: Effect<A, E, R>, refinement: Refinement<A, B>, message: string): Effect<B, E, R>;
+    /**
+     * Filters an effect, dying with a custom message if the predicate fails.
+     *
+     * **Details**
+     *
+     * This function works like {@link filterOrDie} but allows you to specify a
+     * custom error message to describe the reason for the failure. The message is
+     * included in the defect when the predicate evaluates to `false`.
+     *
+     * @since 2.0.0
+     * @category Filtering
+     */
+    <A, E, R>(self: Effect<A, E, R>, predicate: Predicate<A>, message: string): Effect<A, E, R>;
 };
 /**
  * Filters an effect, providing an alternative effect if the predicate fails.
@@ -15613,7 +15675,21 @@ export declare const filterOrElse: {
      * @since 2.0.0
      * @category Filtering
      */
-    <A, C, E2, R2, B extends A = A>(predicate: Predicate<NoInfer<A>> | Refinement<NoInfer<A>, B>, orElse: (a: EqualsWith<A, B, NoInfer<A>, Exclude<NoInfer<A>, B>>) => Effect<C, E2, R2>): <E, R>(self: Effect<A, E, R>) => Effect<B | C, E2 | E, R2 | R>;
+    <A, C, E2, R2, B extends A>(refinement: Refinement<NoInfer<A>, B>, orElse: (a: EqualsWith<A, B, NoInfer<A>, Exclude<NoInfer<A>, B>>) => Effect<C, E2, R2>): <E, R>(self: Effect<A, E, R>) => Effect<B | C, E2 | E, R2 | R>;
+    /**
+     * Filters an effect, providing an alternative effect if the predicate fails.
+     *
+     * **Details**
+     *
+     * This function applies a predicate to the result of an effect. If the
+     * predicate evaluates to `false`, it executes the `orElse` effect instead. The
+     * `orElse` effect can produce an alternative value or perform additional
+     * computations.
+     *
+     * @since 2.0.0
+     * @category Filtering
+     */
+    <A, C, E2, R2>(predicate: Predicate<NoInfer<A>>, orElse: (a: NoInfer<A>) => Effect<C, E2, R2>): <E, R>(self: Effect<A, E, R>) => Effect<A | C, E2 | E, R2 | R>;
     /**
      * Filters an effect, providing an alternative effect if the predicate fails.
      *
@@ -15627,7 +15703,21 @@ export declare const filterOrElse: {
      * @since 2.0.0
      * @category Filtering
      */
-    <A, E, R, C, E2, R2, B extends A = A>(self: Effect<A, E, R>, predicate: Predicate<A> | Refinement<A, B>, orElse: (a: EqualsWith<A, B, A, Exclude<A, B>>) => Effect<C, E2, R2>): Effect<B | C, E | E2, R | R2>;
+    <A, E, R, C, E2, R2, B extends A>(self: Effect<A, E, R>, refinement: Refinement<A, B>, orElse: (a: EqualsWith<A, B, A, Exclude<A, B>>) => Effect<C, E2, R2>): Effect<B | C, E | E2, R | R2>;
+    /**
+     * Filters an effect, providing an alternative effect if the predicate fails.
+     *
+     * **Details**
+     *
+     * This function applies a predicate to the result of an effect. If the
+     * predicate evaluates to `false`, it executes the `orElse` effect instead. The
+     * `orElse` effect can produce an alternative value or perform additional
+     * computations.
+     *
+     * @since 2.0.0
+     * @category Filtering
+     */
+    <A, E, R, C, E2, R2>(self: Effect<A, E, R>, predicate: Predicate<A>, orElse: (a: A) => Effect<C, E2, R2>): Effect<A | C, E | E2, R | R2>;
 };
 /**
  * Filters an effect, failing with a custom error if the predicate fails.
@@ -15730,7 +15820,211 @@ export declare const filterOrFail: {
      * @since 2.0.0
      * @category Filtering
      */
-    <A, E2, B extends A = A>(predicate: Predicate<NoInfer<A>> | Refinement<NoInfer<A>, B>, orFailWith: (a: EqualsWith<A, B, NoInfer<A>, Exclude<NoInfer<A>, B>>) => E2): <E, R>(self: Effect<A, E, R>) => Effect<B, E2 | E, R>;
+    <A, E2, B extends A>(refinement: Refinement<NoInfer<A>, B>, orFailWith: (a: EqualsWith<A, B, NoInfer<A>, Exclude<NoInfer<A>, B>>) => E2): <E, R>(self: Effect<A, E, R>) => Effect<B, E2 | E, R>;
+    /**
+     * Filters an effect, failing with a custom error if the predicate fails.
+     *
+     * **Details**
+     *
+     * This function applies a predicate to the result of an effect. If the
+     * predicate evaluates to `false`, the effect fails with a custom error
+     * generated by the `orFailWith` function.
+     *
+     * **When to Use**
+     *
+     * This is useful for enforcing constraints and treating violations as
+     * recoverable errors.
+     *
+     * **Providing a Guard**
+     *
+     * In addition to the filtering capabilities discussed earlier, you have the
+     * option to further refine and narrow down the type of the success channel by
+     * providing a [user-defined type
+     * guard](https://www.typescriptlang.org/docs/handbook/2/narrowing.html#using-type-predicates).
+     * Let's explore this concept through an example:
+     *
+     * **Example**
+     *
+     * ```ts
+     * import { Effect, pipe } from "effect"
+     *
+     * // Define a user interface
+     * interface User {
+     *   readonly name: string
+     * }
+     *
+     * // Simulate an asynchronous authentication function
+     * declare const auth: () => Promise<User | null>
+     *
+     * const program = pipe(
+     *   Effect.promise(() => auth()),
+     *   // Use filterOrFail with a custom type guard to ensure user is not null
+     *   Effect.filterOrFail(
+     *     (user): user is User => user !== null, // Type guard
+     *     () => new Error("Unauthorized")
+     *   ),
+     *   // 'user' now has the type `User` (not `User | null`)
+     *   Effect.andThen((user) => user.name)
+     * )
+     * ```
+     *
+     * @since 2.0.0
+     * @category Filtering
+     */
+    <A, E2>(predicate: Predicate<NoInfer<A>>, orFailWith: (a: NoInfer<A>) => E2): <E, R>(self: Effect<A, E, R>) => Effect<A, E2 | E, R>;
+    /**
+     * Filters an effect, failing with a custom error if the predicate fails.
+     *
+     * **Details**
+     *
+     * This function applies a predicate to the result of an effect. If the
+     * predicate evaluates to `false`, the effect fails with a custom error
+     * generated by the `orFailWith` function.
+     *
+     * **When to Use**
+     *
+     * This is useful for enforcing constraints and treating violations as
+     * recoverable errors.
+     *
+     * **Providing a Guard**
+     *
+     * In addition to the filtering capabilities discussed earlier, you have the
+     * option to further refine and narrow down the type of the success channel by
+     * providing a [user-defined type
+     * guard](https://www.typescriptlang.org/docs/handbook/2/narrowing.html#using-type-predicates).
+     * Let's explore this concept through an example:
+     *
+     * **Example**
+     *
+     * ```ts
+     * import { Effect, pipe } from "effect"
+     *
+     * // Define a user interface
+     * interface User {
+     *   readonly name: string
+     * }
+     *
+     * // Simulate an asynchronous authentication function
+     * declare const auth: () => Promise<User | null>
+     *
+     * const program = pipe(
+     *   Effect.promise(() => auth()),
+     *   // Use filterOrFail with a custom type guard to ensure user is not null
+     *   Effect.filterOrFail(
+     *     (user): user is User => user !== null, // Type guard
+     *     () => new Error("Unauthorized")
+     *   ),
+     *   // 'user' now has the type `User` (not `User | null`)
+     *   Effect.andThen((user) => user.name)
+     * )
+     * ```
+     *
+     * @since 2.0.0
+     * @category Filtering
+     */
+    <A, E, R, E2, B extends A>(self: Effect<A, E, R>, refinement: Refinement<A, B>, orFailWith: (a: EqualsWith<A, B, A, Exclude<A, B>>) => E2): Effect<B, E2 | E, R>;
+    /**
+     * Filters an effect, failing with a custom error if the predicate fails.
+     *
+     * **Details**
+     *
+     * This function applies a predicate to the result of an effect. If the
+     * predicate evaluates to `false`, the effect fails with a custom error
+     * generated by the `orFailWith` function.
+     *
+     * **When to Use**
+     *
+     * This is useful for enforcing constraints and treating violations as
+     * recoverable errors.
+     *
+     * **Providing a Guard**
+     *
+     * In addition to the filtering capabilities discussed earlier, you have the
+     * option to further refine and narrow down the type of the success channel by
+     * providing a [user-defined type
+     * guard](https://www.typescriptlang.org/docs/handbook/2/narrowing.html#using-type-predicates).
+     * Let's explore this concept through an example:
+     *
+     * **Example**
+     *
+     * ```ts
+     * import { Effect, pipe } from "effect"
+     *
+     * // Define a user interface
+     * interface User {
+     *   readonly name: string
+     * }
+     *
+     * // Simulate an asynchronous authentication function
+     * declare const auth: () => Promise<User | null>
+     *
+     * const program = pipe(
+     *   Effect.promise(() => auth()),
+     *   // Use filterOrFail with a custom type guard to ensure user is not null
+     *   Effect.filterOrFail(
+     *     (user): user is User => user !== null, // Type guard
+     *     () => new Error("Unauthorized")
+     *   ),
+     *   // 'user' now has the type `User` (not `User | null`)
+     *   Effect.andThen((user) => user.name)
+     * )
+     * ```
+     *
+     * @since 2.0.0
+     * @category Filtering
+     */
+    <A, E, R, E2>(self: Effect<A, E, R>, predicate: Predicate<A>, orFailWith: (a: A) => E2): Effect<A, E2 | E, R>;
+    /**
+     * Filters an effect, failing with a custom error if the predicate fails.
+     *
+     * **Details**
+     *
+     * This function applies a predicate to the result of an effect. If the
+     * predicate evaluates to `false`, the effect fails with a custom error
+     * generated by the `orFailWith` function.
+     *
+     * **When to Use**
+     *
+     * This is useful for enforcing constraints and treating violations as
+     * recoverable errors.
+     *
+     * **Providing a Guard**
+     *
+     * In addition to the filtering capabilities discussed earlier, you have the
+     * option to further refine and narrow down the type of the success channel by
+     * providing a [user-defined type
+     * guard](https://www.typescriptlang.org/docs/handbook/2/narrowing.html#using-type-predicates).
+     * Let's explore this concept through an example:
+     *
+     * **Example**
+     *
+     * ```ts
+     * import { Effect, pipe } from "effect"
+     *
+     * // Define a user interface
+     * interface User {
+     *   readonly name: string
+     * }
+     *
+     * // Simulate an asynchronous authentication function
+     * declare const auth: () => Promise<User | null>
+     *
+     * const program = pipe(
+     *   Effect.promise(() => auth()),
+     *   // Use filterOrFail with a custom type guard to ensure user is not null
+     *   Effect.filterOrFail(
+     *     (user): user is User => user !== null, // Type guard
+     *     () => new Error("Unauthorized")
+     *   ),
+     *   // 'user' now has the type `User` (not `User | null`)
+     *   Effect.andThen((user) => user.name)
+     * )
+     * ```
+     *
+     * @since 2.0.0
+     * @category Filtering
+     */
+    <A, B extends A>(refinement: Refinement<NoInfer<A>, B>): <E, R>(self: Effect<A, E, R>) => Effect<B, Cause.NoSuchElementException | E, R>;
     /**
      * Filters an effect, failing with a custom error if the predicate fails.
      *
@@ -15781,7 +16075,7 @@ export declare const filterOrFail: {
      * @since 2.0.0
      * @category Filtering
      */
-    <A, E, R, E2, B extends A = A>(self: Effect<A, E, R>, predicate: Predicate<A> | Refinement<A, B>, orFailWith: (a: EqualsWith<A, B, A, Exclude<A, B>>) => E2): Effect<B, E2 | E, R>;
+    <A>(predicate: Predicate<NoInfer<A>>): <E, R>(self: Effect<A, E, R>) => Effect<A, Cause.NoSuchElementException | E, R>;
     /**
      * Filters an effect, failing with a custom error if the predicate fails.
      *
@@ -15832,7 +16126,7 @@ export declare const filterOrFail: {
      * @since 2.0.0
      * @category Filtering
      */
-    <A, B extends A = A>(predicate: Predicate<NoInfer<A>> | Refinement<NoInfer<A>, B>): <E, R>(self: Effect<A, E, R>) => Effect<B, Cause.NoSuchElementException | E, R>;
+    <A, E, R, B extends A>(self: Effect<A, E, R>, refinement: Refinement<A, B>): Effect<B, E | Cause.NoSuchElementException, R>;
     /**
      * Filters an effect, failing with a custom error if the predicate fails.
      *
@@ -15883,7 +16177,7 @@ export declare const filterOrFail: {
      * @since 2.0.0
      * @category Filtering
      */
-    <A, E, R, B extends A = A>(self: Effect<A, E, R>, predicate: Predicate<A> | Refinement<A, B>): Effect<B, E | Cause.NoSuchElementException, R>;
+    <A, E, R>(self: Effect<A, E, R>, predicate: Predicate<A>): Effect<A, E | Cause.NoSuchElementException, R>;
 };
 /**
  * Filters an effect with an effectful predicate, falling back to an alternative
@@ -26236,128 +26530,128 @@ export declare namespace fn {
      * @category Models
      */
     type Gen = {
-        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>>(body: (...args: Args) => Generator<Eff, AEff, never>): (...args: Args) => Effect<AEff, [
+        <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 [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>;
-        <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, [
+        <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 [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: Args) => A): (...args: Args) => 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, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: Args) => A): (this: Self, ...args: Args) => 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, [
             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: Args) => A, b: (_: A, ...args: Args) => B): (...args: Args) => 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, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B): (this: Self, ...args: Args) => 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, [
             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: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C): (...args: Args) => 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, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C): (this: Self, ...args: Args) => 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, [
             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: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D): (...args: Args) => 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, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: 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 extends Effect<any, any, any>>(body: (this: Self, ...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: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E): (...args: Args) => 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, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: 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 extends Effect<any, any, any>>(body: (this: Self, ...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: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F): (...args: Args) => 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, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: 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 extends Effect<any, any, any>>(body: (this: Self, ...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: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: 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 extends Effect<any, any, any>>(body: (...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: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: 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 extends Effect<any, any, any>>(body: (this: Self, ...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: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: 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 extends Effect<any, any, any>>(body: (...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: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: 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 extends Effect<any, any, any>>(body: (this: Self, ...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: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I): (...args: Args) => I;
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I): (this: Self, ...args: Args) => I;
     };
     /**
      * @since 3.11.0
      * @category Models
      */
     type NonGen = {
-        <Eff extends Effect<any, any, any>, Args extends Array<any>>(body: (...args: Args) => Eff): (...args: Args) => Eff;
-        <Eff extends Effect<any, any, any>, A, Args extends Array<any>>(body: (...args: Args) => A, a: (_: A, ...args: Args) => Eff): (...args: Args) => Eff;
-        <Eff extends Effect<any, any, any>, A, B, Args extends Array<any>>(body: (...args: Args) => A, a: (_: A, ...args: Args) => B, b: (_: B, ...args: Args) => Eff): (...args: Args) => Eff;
-        <Eff extends Effect<any, any, any>, A, B, C, Args extends Array<any>>(body: (...args: Args) => A, a: (_: A, ...args: Args) => B, b: (_: B, ...args: Args) => C, c: (_: C, ...args: Args) => Eff): (...args: Args) => Eff;
-        <Eff extends Effect<any, any, any>, A, B, C, D, Args extends Array<any>>(body: (...args: Args) => A, a: (_: A, ...args: Args) => B, b: (_: B, ...args: Args) => C, c: (_: C, ...args: Args) => D, d: (_: D, ...args: Args) => Eff): (...args: Args) => Eff;
-        <Eff extends Effect<any, any, any>, A, B, C, D, E, Args extends Array<any>>(body: (...args: Args) => A, a: (_: A, ...args: Args) => B, b: (_: B, ...args: Args) => C, c: (_: C, ...args: Args) => D, d: (_: D, ...args: Args) => E, e: (_: E, ...args: Args) => Eff): (...args: Args) => Eff;
-        <Eff extends Effect<any, any, any>, A, B, C, D, E, F, Args extends Array<any>>(body: (...args: Args) => A, a: (_: A, ...args: Args) => B, b: (_: B, ...args: Args) => C, c: (_: C, ...args: Args) => D, d: (_: D, ...args: Args) => E, e: (_: E, ...args: Args) => F, f: (_: F, ...args: Args) => Eff): (...args: Args) => 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: Args) => B, b: (_: B, ...args: Args) => C, c: (_: C, ...args: Args) => D, d: (_: D, ...args: Args) => E, e: (_: E, ...args: Args) => F, f: (_: F, ...args: Args) => G, g: (_: G, ...args: Args) => Eff): (...args: Args) => 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: Args) => B, b: (_: B, ...args: Args) => C, c: (_: C, ...args: Args) => D, d: (_: D, ...args: Args) => E, e: (_: E, ...args: Args) => F, f: (_: F, ...args: Args) => G, g: (_: G, ...args: Args) => H, h: (_: H, ...args: Args) => Eff): (...args: Args) => 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: Args) => B, b: (_: B, ...args: Args) => C, c: (_: C, ...args: Args) => D, d: (_: D, ...args: Args) => E, e: (_: E, ...args: Args) => F, f: (_: F, ...args: Args) => G, g: (_: G, ...args: Args) => H, h: (_: H, ...args: Args) => I, i: (_: H, ...args: Args) => Eff): (...args: Args) => Eff;
+        <Self, Eff extends Effect<any, any, any>, Args extends Array<any>>(body: (this: Self, ...args: Args) => Eff): (this: Self, ...args: Args) => Eff;
+        <Self, Eff extends Effect<any, any, any>, A, Args extends Array<any>>(body: (this: Self, ...args: Args) => A, a: (_: A, ...args: Args) => Eff): (this: Self, ...args: Args) => Eff;
+        <Self, Eff extends Effect<any, any, any>, A, B, Args extends Array<any>>(body: (this: Self, ...args: Args) => A, a: (_: A, ...args: Args) => B, b: (_: B, ...args: Args) => Eff): (this: Self, ...args: Args) => Eff;
+        <Self, Eff extends Effect<any, any, any>, A, B, C, Args extends Array<any>>(body: (this: Self, ...args: Args) => A, a: (_: A, ...args: Args) => B, b: (_: B, ...args: Args) => C, c: (_: C, ...args: Args) => Eff): (this: Self, ...args: Args) => 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: Args) => B, b: (_: B, ...args: Args) => C, c: (_: C, ...args: Args) => D, d: (_: D, ...args: Args) => Eff): (this: Self, ...args: Args) => 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: Args) => B, b: (_: B, ...args: Args) => C, c: (_: C, ...args: Args) => D, d: (_: D, ...args: Args) => E, e: (_: E, ...args: Args) => Eff): (this: Self, ...args: Args) => 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: Args) => B, b: (_: B, ...args: Args) => C, c: (_: C, ...args: Args) => D, d: (_: D, ...args: Args) => E, e: (_: E, ...args: Args) => F, f: (_: F, ...args: Args) => Eff): (this: Self, ...args: Args) => 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: Args) => B, b: (_: B, ...args: Args) => C, c: (_: C, ...args: Args) => D, d: (_: D, ...args: Args) => E, e: (_: E, ...args: Args) => F, f: (_: F, ...args: Args) => G, g: (_: G, ...args: Args) => Eff): (this: Self, ...args: Args) => 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: Args) => B, b: (_: B, ...args: Args) => C, c: (_: C, ...args: Args) => D, d: (_: D, ...args: Args) => E, e: (_: E, ...args: Args) => F, f: (_: F, ...args: Args) => G, g: (_: G, ...args: Args) => H, h: (_: H, ...args: Args) => Eff): (this: Self, ...args: Args) => 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: Args) => B, b: (_: B, ...args: Args) => C, c: (_: C, ...args: Args) => D, d: (_: D, ...args: Args) => E, e: (_: E, ...args: Args) => F, f: (_: F, ...args: Args) => G, g: (_: G, ...args: Args) => H, h: (_: H, ...args: Args) => I, i: (_: H, ...args: Args) => Eff): (this: Self, ...args: Args) => Eff;
     };
     /**
      * @since 3.11.0
      * @category Models
      */
     type Untraced = {
-        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>>(body: (...args: Args) => Generator<Eff, AEff, never>): (...args: Args) => Effect<AEff, [
+        <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 [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>;
-        <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A>(body: (...args: Args) => Generator<Eff, AEff, never>, a: (_: Effect<AEff, [
+        <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 [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: 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, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: 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, [
             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: Args) => A, b: (_: A, ...args: 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, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: 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, [
             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: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: 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, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: 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, [
             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: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: 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, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: 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, [
             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: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: 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, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: 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, [
             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: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: 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, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: 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, [
             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: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: 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, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: 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, [
             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: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: 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, [
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: 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, [
             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: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I): (...args: Args) => I;
+        ] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never>, ...args: Args) => A, b: (_: A, ...args: Args) => B, c: (_: B, ...args: Args) => C, d: (_: C, ...args: Args) => D, e: (_: D, ...args: Args) => E, f: (_: E, ...args: Args) => F, g: (_: F, ...args: Args) => G, h: (_: G, ...args: Args) => H, i: (_: H, ...args: Args) => I): (this: Self, ...args: Args) => I;
     };
 }
 /**