effect 3.15.0 → 3.15.2

package/src/Effect.ts

@@ -16339,10 +16339,28 @@ export const filterOrDie: {
    * @since 2.0.0
    * @category Filtering
    */
-  <A, B extends A = A>(
-    predicate: Predicate<NoInfer<A>> | Refinement<NoInfer<A>, B>,
+  <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.
+   *
+   * **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>(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.
    *
@@ -16362,9 +16380,31 @@ export const filterOrDie: {
    */
   <A, E, R, B extends A>(
     self: Effect<A, E, R>,
-    predicate: Predicate<A> | Refinement<A, B>,
+    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>
 } = effect.filterOrDie
 
 /**
@@ -16392,10 +16432,7 @@ export 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.
    *
@@ -16408,11 +16445,33 @@ export 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>
 } = effect.filterOrDieMessage
 
 /**
@@ -16442,8 +16501,8 @@ export const filterOrElse: {
    * @since 2.0.0
    * @category Filtering
    */
-  <A, C, E2, R2, B extends A = A>(
-    predicate: Predicate<NoInfer<A>> | Refinement<NoInfer<A>, B>,
+  <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>
   /**
@@ -16459,11 +16518,46 @@ export const filterOrElse: {
    * @since 2.0.0
    * @category Filtering
    */
-  <A, E, R, C, E2, R2, B extends A = A>(
+  <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.
+   *
+   * **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, B extends A>(
     self: Effect<A, E, R>,
-    predicate: Predicate<A> | Refinement<A, B>,
+    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>
 } = effect.filterOrElse
 
 /**
@@ -16567,8 +16661,8 @@ export const filterOrFail: {
    * @since 2.0.0
    * @category Filtering
    */
-  <A, E2, B extends A = A>(
-    predicate: Predicate<NoInfer<A>> | Refinement<NoInfer<A>, B>,
+  <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>
   /**
@@ -16621,9 +16715,60 @@ export const filterOrFail: {
    * @since 2.0.0
    * @category Filtering
    */
-  <A, E, R, E2, B extends A = A>(
+  <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>,
-    predicate: Predicate<A> | Refinement<A, B>,
+    refinement: Refinement<A, B>,
     orFailWith: (a: EqualsWith<A, B, A, Exclude<A, B>>) => E2
   ): Effect<B, E2 | E, R>
   /**
@@ -16676,7 +16821,7 @@ export 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, 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.
    *
@@ -16727,7 +16872,164 @@ export 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, 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.
+   *
+   * **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>(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.
+   *
+   * **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, 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.
+   *
+   * **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>(self: Effect<A, E, R>, predicate: Predicate<A>): Effect<A, E | Cause.NoSuchElementException, R>
 } = effect.filterOrFail
 
 /**
@@ -27755,15 +28057,21 @@ export namespace fn {
    * @category Models
    */
   export type Gen = {
-    <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>>(
-      body: (...args: Args) => Generator<Eff, AEff, never>
-    ): (...args: Args) => Effect<
+    <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>,
+    <
+      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,
@@ -27772,9 +28080,16 @@ export namespace fn {
         >,
         ...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>,
+    ): (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,
@@ -27784,8 +28099,9 @@ export namespace fn {
         ...args: Args
       ) => A,
       b: (_: A, ...args: Args) => B
-    ): (...args: Args) => B
+    ): (this: Self, ...args: Args) => B
     <
+      Self,
       Eff extends YieldWrap<Effect<any, any, any>>,
       AEff,
       Args extends Array<any>,
@@ -27793,7 +28109,7 @@ export namespace fn {
       B,
       C extends Effect<any, any, any>
     >(
-      body: (...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -27804,8 +28120,9 @@ export namespace fn {
       ) => A,
       b: (_: A, ...args: Args) => B,
       c: (_: B, ...args: Args) => C
-    ): (...args: Args) => C
+    ): (this: Self, ...args: Args) => C
     <
+      Self,
       Eff extends YieldWrap<Effect<any, any, any>>,
       AEff,
       Args extends Array<any>,
@@ -27814,7 +28131,7 @@ export namespace fn {
       C,
       D extends Effect<any, any, any>
     >(
-      body: (...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -27826,8 +28143,9 @@ export namespace fn {
       b: (_: A, ...args: Args) => B,
       c: (_: B, ...args: Args) => C,
       d: (_: C, ...args: Args) => D
-    ): (...args: Args) => D
+    ): (this: Self, ...args: Args) => D
     <
+      Self,
       Eff extends YieldWrap<Effect<any, any, any>>,
       AEff,
       Args extends Array<any>,
@@ -27837,7 +28155,7 @@ export namespace fn {
       D,
       E extends Effect<any, any, any>
     >(
-      body: (...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -27850,8 +28168,9 @@ export namespace fn {
       c: (_: B, ...args: Args) => C,
       d: (_: C, ...args: Args) => D,
       e: (_: D, ...args: Args) => E
-    ): (...args: Args) => E
+    ): (this: Self, ...args: Args) => E
     <
+      Self,
       Eff extends YieldWrap<Effect<any, any, any>>,
       AEff,
       Args extends Array<any>,
@@ -27862,7 +28181,7 @@ export namespace fn {
       E,
       F extends Effect<any, any, any>
     >(
-      body: (...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -27876,8 +28195,9 @@ export namespace fn {
       d: (_: C, ...args: Args) => D,
       e: (_: D, ...args: Args) => E,
       f: (_: E, ...args: Args) => F
-    ): (...args: Args) => F
+    ): (this: Self, ...args: Args) => F
     <
+      Self,
       Eff extends YieldWrap<Effect<any, any, any>>,
       AEff,
       Args extends Array<any>,
@@ -27889,7 +28209,7 @@ export namespace fn {
       F,
       G extends Effect<any, any, any>
     >(
-      body: (...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -27904,8 +28224,9 @@ export namespace fn {
       e: (_: D, ...args: Args) => E,
       f: (_: E, ...args: Args) => F,
       g: (_: F, ...args: Args) => G
-    ): (...args: Args) => G
+    ): (this: Self, ...args: Args) => G
     <
+      Self,
       Eff extends YieldWrap<Effect<any, any, any>>,
       AEff,
       Args extends Array<any>,
@@ -27918,7 +28239,7 @@ export namespace fn {
       G,
       H extends Effect<any, any, any>
     >(
-      body: (...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -27934,8 +28255,9 @@ export namespace fn {
       f: (_: E, ...args: Args) => F,
       g: (_: F, ...args: Args) => G,
       h: (_: G, ...args: Args) => H
-    ): (...args: Args) => H
+    ): (this: Self, ...args: Args) => H
     <
+      Self,
       Eff extends YieldWrap<Effect<any, any, any>>,
       AEff,
       Args extends Array<any>,
@@ -27949,7 +28271,7 @@ export namespace fn {
       H,
       I extends Effect<any, any, any>
     >(
-      body: (...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -27966,7 +28288,7 @@ export namespace fn {
       g: (_: F, ...args: Args) => G,
       h: (_: G, ...args: Args) => H,
       i: (_: H, ...args: Args) => I
-    ): (...args: Args) => I
+    ): (this: Self, ...args: Args) => I
   }
 
   /**
@@ -27974,50 +28296,50 @@ export namespace fn {
    * @category Models
    */
   export 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,
+    <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
-    ): (...args: Args) => Eff
-    <Eff extends Effect<any, any, any>, A, B, Args extends Array<any>>(
-      body: (...args: Args) => A,
+    ): (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
-    ): (...args: Args) => Eff
-    <Eff extends Effect<any, any, any>, A, B, C, Args extends Array<any>>(
-      body: (...args: Args) => A,
+    ): (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
-    ): (...args: Args) => Eff
-    <Eff extends Effect<any, any, any>, A, B, C, D, Args extends Array<any>>(
-      body: (...args: Args) => A,
+    ): (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
-    ): (...args: Args) => Eff
-    <Eff extends Effect<any, any, any>, A, B, C, D, E, Args extends Array<any>>(
-      body: (...args: Args) => A,
+    ): (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
-    ): (...args: Args) => Eff
-    <Eff extends Effect<any, any, any>, A, B, C, D, E, F, Args extends Array<any>>(
-      body: (...args: Args) => A,
+    ): (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
-    ): (...args: Args) => Eff
-    <Eff extends Effect<any, any, any>, A, B, C, D, E, F, G, Args extends Array<any>>(
-      body: (...args: Args) => A,
+    ): (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,
@@ -28025,9 +28347,9 @@ export namespace fn {
       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,
+    ): (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,
@@ -28036,9 +28358,9 @@ export namespace fn {
       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,
+    ): (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,
@@ -28048,7 +28370,7 @@ export namespace fn {
       g: (_: G, ...args: Args) => H,
       h: (_: H, ...args: Args) => I,
       i: (_: H, ...args: Args) => Eff
-    ): (...args: Args) => Eff
+    ): (this: Self, ...args: Args) => Eff
   }
 
   /**
@@ -28056,15 +28378,15 @@ export namespace fn {
    * @category Models
    */
   export type Untraced = {
-    <Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>>(
-      body: (...args: Args) => Generator<Eff, AEff, never>
-    ): (...args: Args) => Effect<
+    <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>,
+    <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,
@@ -28073,9 +28395,9 @@ export namespace fn {
         >,
         ...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>,
+    ): (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,
@@ -28085,8 +28407,9 @@ export namespace fn {
         ...args: Args
       ) => A,
       b: (_: A, ...args: Args) => B
-    ): (...args: Args) => B
+    ): (this: Self, ...args: Args) => B
     <
+      Self,
       Eff extends YieldWrap<Effect<any, any, any>>,
       AEff,
       Args extends Array<any>,
@@ -28094,7 +28417,7 @@ export namespace fn {
       B,
       C
     >(
-      body: (...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -28105,8 +28428,9 @@ export namespace fn {
       ) => A,
       b: (_: A, ...args: Args) => B,
       c: (_: B, ...args: Args) => C
-    ): (...args: Args) => C
+    ): (this: Self, ...args: Args) => C
     <
+      Self,
       Eff extends YieldWrap<Effect<any, any, any>>,
       AEff,
       Args extends Array<any>,
@@ -28115,7 +28439,7 @@ export namespace fn {
       C,
       D
     >(
-      body: (...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -28127,8 +28451,9 @@ export namespace fn {
       b: (_: A, ...args: Args) => B,
       c: (_: B, ...args: Args) => C,
       d: (_: C, ...args: Args) => D
-    ): (...args: Args) => D
+    ): (this: Self, ...args: Args) => D
     <
+      Self,
       Eff extends YieldWrap<Effect<any, any, any>>,
       AEff,
       Args extends Array<any>,
@@ -28138,7 +28463,7 @@ export namespace fn {
       D,
       E
     >(
-      body: (...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -28151,8 +28476,9 @@ export namespace fn {
       c: (_: B, ...args: Args) => C,
       d: (_: C, ...args: Args) => D,
       e: (_: D, ...args: Args) => E
-    ): (...args: Args) => E
+    ): (this: Self, ...args: Args) => E
     <
+      Self,
       Eff extends YieldWrap<Effect<any, any, any>>,
       AEff,
       Args extends Array<any>,
@@ -28163,7 +28489,7 @@ export namespace fn {
       E,
       F
     >(
-      body: (...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -28177,8 +28503,9 @@ export namespace fn {
       d: (_: C, ...args: Args) => D,
       e: (_: D, ...args: Args) => E,
       f: (_: E, ...args: Args) => F
-    ): (...args: Args) => F
+    ): (this: Self, ...args: Args) => F
     <
+      Self,
       Eff extends YieldWrap<Effect<any, any, any>>,
       AEff,
       Args extends Array<any>,
@@ -28190,7 +28517,7 @@ export namespace fn {
       F,
       G
     >(
-      body: (...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -28205,8 +28532,9 @@ export namespace fn {
       e: (_: D, ...args: Args) => E,
       f: (_: E, ...args: Args) => F,
       g: (_: F, ...args: Args) => G
-    ): (...args: Args) => G
+    ): (this: Self, ...args: Args) => G
     <
+      Self,
       Eff extends YieldWrap<Effect<any, any, any>>,
       AEff,
       Args extends Array<any>,
@@ -28219,7 +28547,7 @@ export namespace fn {
       G,
       H
     >(
-      body: (...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -28235,8 +28563,9 @@ export namespace fn {
       f: (_: E, ...args: Args) => F,
       g: (_: F, ...args: Args) => G,
       h: (_: G, ...args: Args) => H
-    ): (...args: Args) => H
+    ): (this: Self, ...args: Args) => H
     <
+      Self,
       Eff extends YieldWrap<Effect<any, any, any>>,
       AEff,
       Args extends Array<any>,
@@ -28250,7 +28579,7 @@ export namespace fn {
       H,
       I
     >(
-      body: (...args: Args) => Generator<Eff, AEff, never>,
+      body: (this: Self, ...args: Args) => Generator<Eff, AEff, never>,
       a: (
         _: Effect<
           AEff,
@@ -28267,7 +28596,7 @@ export namespace fn {
       g: (_: F, ...args: Args) => G,
       h: (_: G, ...args: Args) => H,
       i: (_: H, ...args: Args) => I
-    ): (...args: Args) => I
+    ): (this: Self, ...args: Args) => I
   }
 }
 
@@ -28443,22 +28772,27 @@ export const fn:
     const name = nameOrBody
     const options = pipeables[0]
     return (body: Function, ...pipeables: Array<any>) =>
-      defineLength(body.length, function(this: any, ...args: Array<any>) {
-        const limit = Error.stackTraceLimit
-        Error.stackTraceLimit = 2
-        const errorCall = new Error()
-        Error.stackTraceLimit = limit
-        return fnApply({
-          self: this,
-          body,
-          args,
-          pipeables,
-          spanName: name,
-          spanOptions: options,
-          errorDef,
-          errorCall
-        })
-      })
+      defineLength(
+        body.length,
+        ({
+          [name](this: any, ...args: Array<any>) {
+            const limit = Error.stackTraceLimit
+            Error.stackTraceLimit = 2
+            const errorCall = new Error()
+            Error.stackTraceLimit = limit
+            return fnApply({
+              self: this,
+              body,
+              args,
+              pipeables,
+              spanName: name,
+              spanOptions: options,
+              errorDef,
+              errorCall
+            })
+          }
+        })[name]
+      )
   }
 
 function defineLength<F extends Function>(length: number, fn: F) {