effect 3.10.18 → 3.11.0

package/src/Effect.ts

@@ -25,6 +25,7 @@ import { dual } from "./Function.js"
 import type * as HashMap from "./HashMap.js"
 import type * as HashSet from "./HashSet.js"
 import type { TypeLambda } from "./HKT.js"
+import * as internalCause from "./internal/cause.js"
 import * as _console from "./internal/console.js"
 import { TagProto } from "./internal/context.js"
 import * as effect from "./internal/core-effect.js"
@@ -59,7 +60,7 @@ import type * as Supervisor from "./Supervisor.js"
 import type * as Tracer from "./Tracer.js"
 import type { Concurrency, Contravariant, Covariant, NoExcessProperties, NoInfer, NotFunction } from "./Types.js"
 import type * as Unify from "./Unify.js"
-import type { YieldWrap } from "./Utils.js"
+import { internalCall, isGeneratorFunction, type YieldWrap } from "./Utils.js"
 
 /**
  * @since 2.0.0
@@ -151,6 +152,9 @@ declare module "./Context.js" {
   interface Tag<Id, Value> extends Effect<Value, never, Id> {
     [Symbol.iterator](): EffectGenerator<Tag<Id, Value>>
   }
+  interface Reference<Id, Value> extends Effect<Value> {
+    [Symbol.iterator](): EffectGenerator<Reference<Id, Value>>
+  }
   interface TagUnifyIgnore {
     Effect?: true
     Either?: true
@@ -256,6 +260,7 @@ export const isEffect: (u: unknown) => u is Effect<unknown, unknown, unknown> =
  * be recomputed upon next evaluation.
  *
  * @example
+ * ```ts
  * import { Effect, Console } from "effect"
  *
  * let i = 1
@@ -283,6 +288,7 @@ export const isEffect: (u: unknown) => u is Effect<unknown, unknown, unknown> =
  * // result 1
  * // expensive task...
  * // result 2
+ * ```
  *
  * @since 2.0.0
  * @category Caching
@@ -294,6 +300,7 @@ export const cachedWithTTL: {
    * be recomputed upon next evaluation.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * let i = 1
@@ -321,6 +328,7 @@ export const cachedWithTTL: {
    * // result 1
    * // expensive task...
    * // result 2
+   * ```
    *
    * @since 2.0.0
    * @category Caching
@@ -332,6 +340,7 @@ export const cachedWithTTL: {
    * be recomputed upon next evaluation.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * let i = 1
@@ -359,6 +368,7 @@ export const cachedWithTTL: {
    * // result 1
    * // expensive task...
    * // result 2
+   * ```
    *
    * @since 2.0.0
    * @category Caching
@@ -372,6 +382,7 @@ export const cachedWithTTL: {
  * invalidating the cached value before it naturally expires.
  *
  * @example
+ * ```ts
  * import { Effect, Console } from "effect"
  *
  * let i = 1
@@ -402,6 +413,7 @@ export const cachedWithTTL: {
  * // result 1
  * // expensive task...
  * // result 2
+ * ```
  *
  * @since 2.0.0
  * @category Caching
@@ -413,6 +425,7 @@ export const cachedInvalidateWithTTL: {
    * invalidating the cached value before it naturally expires.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * let i = 1
@@ -443,6 +456,7 @@ export const cachedInvalidateWithTTL: {
    * // result 1
    * // expensive task...
    * // result 2
+   * ```
    *
    * @since 2.0.0
    * @category Caching
@@ -456,6 +470,7 @@ export const cachedInvalidateWithTTL: {
    * invalidating the cached value before it naturally expires.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * let i = 1
@@ -486,6 +501,7 @@ export const cachedInvalidateWithTTL: {
    * // result 1
    * // expensive task...
    * // result 2
+   * ```
    *
    * @since 2.0.0
    * @category Caching
@@ -499,6 +515,7 @@ export const cachedInvalidateWithTTL: {
  * the logic.
  *
  * @example
+ * ```ts
  * import { Effect, Console } from "effect"
  *
  * let i = 1
@@ -532,6 +549,7 @@ export const cachedInvalidateWithTTL: {
  * // expensive task...
  * // result 3
  * // result 3
+ * ```
  *
  * @since 2.0.0
  * @category Caching
@@ -544,6 +562,7 @@ export const cached: <A, E, R>(self: Effect<A, E, R>) => Effect<Effect<A, E, R>>
  * recompute them.
  *
  * @example
+ * ```ts
  * import { Effect, Random } from "effect"
  *
  * const program = Effect.gen(function* () {
@@ -566,6 +585,7 @@ export const cached: <A, E, R>(self: Effect<A, E, R>) => Effect<Effect<A, E, R>>
  * // memoized version:
  * // 5
  * // 5
+ * ```
  *
  * @since 2.0.0
  * @category Caching
@@ -580,6 +600,7 @@ export const cachedFunction: <A, B, E, R>(
  * called.
  *
  * @example
+ * ```ts
  * import { Effect, Console } from "effect"
  *
  * const program = Effect.gen(function* () {
@@ -595,6 +616,7 @@ export const cachedFunction: <A, B, E, R>(
  * // task1
  * // task1
  * // task2
+ * ```
  *
  * @since 2.0.0
  * @category Caching
@@ -651,6 +673,7 @@ export const once: <A, E, R>(self: Effect<A, E, R>) => Effect<Effect<void, E, R>
  * @see {@link forEach} for iterating over elements and applying an effect.
  *
  * @example
+ * ```ts
  * // Title: Combining Effects in Tuples
  * import { Effect, Console } from "effect"
  *
@@ -668,6 +691,7 @@ export const once: <A, E, R>(self: Effect<A, E, R>) => Effect<Effect<void, E, R>
  * // 42
  * // Hello
  * // [ 42, 'Hello' ]
+ * ```
  *
  * @example
  * // Title: Combining Effects in Iterables
@@ -826,6 +850,7 @@ export const all: <
  * your data and then apply operations to it.
  *
  * @example
+ * ```ts
  * import { Effect, pipe } from "effect"
  *
  * const task1 = Effect.succeed(1).pipe(
@@ -849,6 +874,7 @@ export const all: <
  * // timestamp=... level=INFO fiber=#3 message="task2 done"
  * // timestamp=... level=INFO fiber=#2 message="task1 done"
  * // [ 1, 'hello' ]
+ * ```
  *
  * @since 2.0.0
  * @category Collecting
@@ -1163,6 +1189,7 @@ export const filter: {
  * @see {@link filter} for concurrent filtering without mapping.
  *
  * @example
+ * ```ts
  * import { Console, Effect, Option } from "effect"
  *
  * const task = (n: number) =>
@@ -1183,6 +1210,7 @@ export const filter: {
  * // task3 done
  * // task4 done
  * // [ 2, 4 ]
+ * ```
  *
  * @since 2.0.0
  * @category Filtering
@@ -1199,6 +1227,7 @@ export const filterMap: {
    * @see {@link filter} for concurrent filtering without mapping.
    *
    * @example
+   * ```ts
    * import { Console, Effect, Option } from "effect"
    *
    * const task = (n: number) =>
@@ -1219,6 +1248,7 @@ export const filterMap: {
    * // task3 done
    * // task4 done
    * // [ 2, 4 ]
+   * ```
    *
    * @since 2.0.0
    * @category Filtering
@@ -1237,6 +1267,7 @@ export const filterMap: {
    * @see {@link filter} for concurrent filtering without mapping.
    *
    * @example
+   * ```ts
    * import { Console, Effect, Option } from "effect"
    *
    * const task = (n: number) =>
@@ -1257,6 +1288,7 @@ export const filterMap: {
    * // task3 done
    * // task4 done
    * // [ 2, 4 ]
+   * ```
    *
    * @since 2.0.0
    * @category Filtering
@@ -1319,6 +1351,7 @@ export const findFirst: {
  * @see {@link all} for combining multiple effects into one.
  *
  * @example
+ * ```ts
  * // Title: Applying Effects to Iterable Elements
  * import { Effect, Console } from "effect"
  *
@@ -1334,6 +1367,7 @@ export const findFirst: {
  * // Currently at index 3
  * // Currently at index 4
  * // [ 2, 4, 6, 8, 10 ]
+ * ```
  *
  * @example
  * // Title: Using discard to Ignore Results
@@ -1384,6 +1418,7 @@ export const forEach: {
    * @see {@link all} for combining multiple effects into one.
    *
    * @example
+   * ```ts
    * // Title: Applying Effects to Iterable Elements
    * import { Effect, Console } from "effect"
    *
@@ -1399,6 +1434,7 @@ export const forEach: {
    * // Currently at index 3
    * // Currently at index 4
    * // [ 2, 4, 6, 8, 10 ]
+   * ```
    *
    * @example
    * // Title: Using discard to Ignore Results
@@ -1459,6 +1495,7 @@ export const forEach: {
    * @see {@link all} for combining multiple effects into one.
    *
    * @example
+   * ```ts
    * // Title: Applying Effects to Iterable Elements
    * import { Effect, Console } from "effect"
    *
@@ -1474,6 +1511,7 @@ export const forEach: {
    * // Currently at index 3
    * // Currently at index 4
    * // [ 2, 4, 6, 8, 10 ]
+   * ```
    *
    * @example
    * // Title: Using discard to Ignore Results
@@ -1532,6 +1570,7 @@ export const forEach: {
    * @see {@link all} for combining multiple effects into one.
    *
    * @example
+   * ```ts
    * // Title: Applying Effects to Iterable Elements
    * import { Effect, Console } from "effect"
    *
@@ -1547,6 +1586,7 @@ export const forEach: {
    * // Currently at index 3
    * // Currently at index 4
    * // [ 2, 4, 6, 8, 10 ]
+   * ```
    *
    * @example
    * // Title: Using discard to Ignore Results
@@ -1606,6 +1646,7 @@ export const forEach: {
    * @see {@link all} for combining multiple effects into one.
    *
    * @example
+   * ```ts
    * // Title: Applying Effects to Iterable Elements
    * import { Effect, Console } from "effect"
    *
@@ -1621,6 +1662,7 @@ export const forEach: {
    * // Currently at index 3
    * // Currently at index 4
    * // [ 2, 4, 6, 8, 10 ]
+   * ```
    *
    * @example
    * // Title: Using discard to Ignore Results
@@ -1731,6 +1773,7 @@ export const mergeAll: {
  * @see {@link validateFirst} for a function that stops at the first success.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * //      ┌─── Effect<[string[], number[]], never, never>
@@ -1746,6 +1789,7 @@ export const mergeAll: {
  * Effect.runPromise(program).then(console.log, console.error)
  * // Output:
  * // [ [ '1 is not even', '3 is not even' ], [ 0, 2, 4 ] ]
+ * ```
  *
  * @since 2.0.0
  * @category Error Accumulation
@@ -1767,6 +1811,7 @@ export const partition: {
    * @see {@link validateFirst} for a function that stops at the first success.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * //      ┌─── Effect<[string[], number[]], never, never>
@@ -1782,6 +1827,7 @@ export const partition: {
    * Effect.runPromise(program).then(console.log, console.error)
    * // Output:
    * // [ [ '1 is not even', '3 is not even' ], [ 0, 2, 4 ] ]
+   * ```
    *
    * @since 2.0.0
    * @category Error Accumulation
@@ -1812,6 +1858,7 @@ export const partition: {
    * @see {@link validateFirst} for a function that stops at the first success.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * //      ┌─── Effect<[string[], number[]], never, never>
@@ -1827,6 +1874,7 @@ export const partition: {
    * Effect.runPromise(program).then(console.log, console.error)
    * // Output:
    * // [ [ '1 is not even', '3 is not even' ], [ 0, 2, 4 ] ]
+   * ```
    *
    * @since 2.0.0
    * @category Error Accumulation
@@ -2147,6 +2195,7 @@ export const takeWhile: {
  * @see {@link partition} when you need to separate successes and failures instead of losing successes with errors.
  *
  * @example
+ * ```ts
  * import { Effect, Console } from "effect"
  *
  * //      ┌─── Effect<number[], string[], never>
@@ -2173,6 +2222,7 @@ export const takeWhile: {
  * //     failure: [ '4 is not less that 4', '5 is not less that 4' ]
  * //   }
  * // }
+ * ```
  *
  * @since 2.0.0
  * @category Error Accumulation
@@ -2195,6 +2245,7 @@ export const validateAll: {
    * @see {@link partition} when you need to separate successes and failures instead of losing successes with errors.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * //      ┌─── Effect<number[], string[], never>
@@ -2221,6 +2272,7 @@ export const validateAll: {
    * //     failure: [ '4 is not less that 4', '5 is not less that 4' ]
    * //   }
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category Error Accumulation
@@ -2251,6 +2303,7 @@ export const validateAll: {
    * @see {@link partition} when you need to separate successes and failures instead of losing successes with errors.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * //      ┌─── Effect<number[], string[], never>
@@ -2277,6 +2330,7 @@ export const validateAll: {
    * //     failure: [ '4 is not less that 4', '5 is not less that 4' ]
    * //   }
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category Error Accumulation
@@ -2307,6 +2361,7 @@ export const validateAll: {
    * @see {@link partition} when you need to separate successes and failures instead of losing successes with errors.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * //      ┌─── Effect<number[], string[], never>
@@ -2333,6 +2388,7 @@ export const validateAll: {
    * //     failure: [ '4 is not less that 4', '5 is not less that 4' ]
    * //   }
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category Error Accumulation
@@ -2364,6 +2420,7 @@ export const validateAll: {
    * @see {@link partition} when you need to separate successes and failures instead of losing successes with errors.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * //      ┌─── Effect<number[], string[], never>
@@ -2390,6 +2447,7 @@ export const validateAll: {
    * //     failure: [ '4 is not less that 4', '5 is not less that 4' ]
    * //   }
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category Error Accumulation
@@ -2422,6 +2480,7 @@ export const validateAll: {
  * @see {@link firstSuccessOf} for a similar function that processes multiple effects and returns the first successful one or the last error.
  *
  * @example
+ * ```ts
  * import { Effect, Console } from "effect"
  *
  * //      ┌─── Effect<number, string[], never>
@@ -2438,6 +2497,7 @@ export const validateAll: {
  * // Output:
  * // item 4
  * // 4
+ * ```
  *
  * @since 2.0.0
  * @category Error Accumulation
@@ -2459,6 +2519,7 @@ export const validateFirst: {
    * @see {@link firstSuccessOf} for a similar function that processes multiple effects and returns the first successful one or the last error.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * //      ┌─── Effect<number, string[], never>
@@ -2475,6 +2536,7 @@ export const validateFirst: {
    * // Output:
    * // item 4
    * // 4
+   * ```
    *
    * @since 2.0.0
    * @category Error Accumulation
@@ -2505,6 +2567,7 @@ export const validateFirst: {
    * @see {@link firstSuccessOf} for a similar function that processes multiple effects and returns the first successful one or the last error.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * //      ┌─── Effect<number, string[], never>
@@ -2521,6 +2584,7 @@ export const validateFirst: {
    * // Output:
    * // item 4
    * // 4
+   * ```
    *
    * @since 2.0.0
    * @category Error Accumulation
@@ -2563,6 +2627,7 @@ export const validateFirst: {
  * behavior of the returned effect.
  *
  * @example
+ * ```ts
  * // Title: Wrapping a Callback API
  * import { Effect } from "effect"
  * import * as NodeFS from "node:fs"
@@ -2583,6 +2648,7 @@ export const validateFirst: {
  * //      ┌─── Effect<Buffer, Error, never>
  * //      ▼
  * const program = readFile("example.txt")
+ * ```
  *
  * @example
  * // Title: Handling Interruption with Cleanup
@@ -2680,12 +2746,14 @@ export const asyncEffect: <A, E, R, R3, E2, R2>(
  * the "this" of the effect.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * const throwingFunction = () => { throw new Error() }
  * const blowUp = Effect.custom(throwingFunction, function() {
  *   return Effect.succeed(this.effect_instruction_i0())
  * })
+ * ```
  *
  * @since 2.0.0
  * @category Creating Effects
@@ -2698,12 +2766,14 @@ export const custom: {
    * the "this" of the effect.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const throwingFunction = () => { throw new Error() }
    * const blowUp = Effect.custom(throwingFunction, function() {
    *   return Effect.succeed(this.effect_instruction_i0())
    * })
+   * ```
    *
    * @since 2.0.0
    * @category Creating Effects
@@ -2716,12 +2786,14 @@ export const custom: {
    * the "this" of the effect.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const throwingFunction = () => { throw new Error() }
    * const blowUp = Effect.custom(throwingFunction, function() {
    *   return Effect.succeed(this.effect_instruction_i0())
    * })
+   * ```
    *
    * @since 2.0.0
    * @category Creating Effects
@@ -2738,12 +2810,14 @@ export const custom: {
    * the "this" of the effect.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const throwingFunction = () => { throw new Error() }
    * const blowUp = Effect.custom(throwingFunction, function() {
    *   return Effect.succeed(this.effect_instruction_i0())
    * })
+   * ```
    *
    * @since 2.0.0
    * @category Creating Effects
@@ -2779,6 +2853,7 @@ export const withFiberRuntime: <A, E = never, R = never>(
  * @see {@link succeed} to create an effect that represents a successful value.
  *
  * @example
+ * ```ts
  * // Title: Creating a Failed Effect
  * import { Effect } from "effect"
  *
@@ -2787,6 +2862,7 @@ export const withFiberRuntime: <A, E = never, R = never>(
  * const failure = Effect.fail(
  *   new Error("Operation failed due to network error")
  * )
+ * ```
  *
  * @since 2.0.0
  * @category Creating Effects
@@ -2832,6 +2908,7 @@ export const failCauseSync: <E>(evaluate: LazyArg<Cause.Cause<E>>) => Effect<nev
  * @see {@link dieMessage} for a variant that throws a `RuntimeException` with a message.
  *
  * @example
+ * ```ts
  * // Title: Terminating on Division by Zero with a Specified Error
  * import { Effect } from "effect"
  *
@@ -2848,6 +2925,7 @@ export const failCauseSync: <E>(evaluate: LazyArg<Cause.Cause<E>>) => Effect<nev
  * // Output:
  * // (FiberFailure) Error: Cannot divide by zero
  * //   ...stack trace...
+ * ```
  *
  * @since 2.0.0
  * @category Creating Effects
@@ -2877,6 +2955,7 @@ export const die: (defect: unknown) => Effect<never> = core.die
  * lazily.
  *
  * @example
+ * ```ts
  * // Title: Terminating on Division by Zero with a Specified Message
  * import { Effect } from "effect"
  *
@@ -2893,6 +2972,7 @@ export const die: (defect: unknown) => Effect<never> = core.die
  * // Output:
  * // (FiberFailure) RuntimeException: Cannot divide by zero
  * //   ...stack trace...
+ * ```
  *
  * @since 2.0.0
  * @category Creating Effects
@@ -2928,6 +3008,7 @@ export const dieSync: (evaluate: LazyArg<unknown>) => Effect<never> = core.dieSy
  * effects and return the final result at the end.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * const addServiceCharge = (amount: number) => amount + 1
@@ -2954,6 +3035,7 @@ export const dieSync: (evaluate: LazyArg<unknown>) => Effect<never> = core.dieSy
  *   const finalAmount = addServiceCharge(discountedAmount)
  *   return `Final amount to charge: ${finalAmount}`
  * })
+ * ```
  *
  * @since 2.0.0
  * @category Creating Effects
@@ -2975,6 +3057,7 @@ export const gen: {
    * effects and return the final result at the end.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const addServiceCharge = (amount: number) => amount + 1
@@ -3001,6 +3084,7 @@ export const gen: {
    *   const finalAmount = addServiceCharge(discountedAmount)
    *   return `Final amount to charge: ${finalAmount}`
    * })
+   * ```
    *
    * @since 2.0.0
    * @category Creating Effects
@@ -3026,6 +3110,7 @@ export const gen: {
    * effects and return the final result at the end.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const addServiceCharge = (amount: number) => amount + 1
@@ -3052,6 +3137,7 @@ export const gen: {
    *   const finalAmount = addServiceCharge(discountedAmount)
    *   return `Final amount to charge: ${finalAmount}`
    * })
+   * ```
    *
    * @since 2.0.0
    * @category Creating Effects
@@ -3377,6 +3463,7 @@ export const none: <A, E, R>(
  * @see {@link tryPromise} for a version that can handle failures.
  *
  * @example
+ * ```ts
  * // Title: Delayed Message
  * import { Effect } from "effect"
  *
@@ -3393,6 +3480,7 @@ export const none: <A, E, R>(
  * //      ┌─── Effect<string, never, never>
  * //      ▼
  * const program = delay("Async operation completed successfully!")
+ * ```
  *
  * @since 2.0.0
  * @category Creating Effects
@@ -3412,6 +3500,7 @@ export const promise: <A>(
  * @see {@link fail} to create an effect that represents a failure.
  *
  * @example
+ * ```ts
  * // Title: Creating a Successful Effect
  * import { Effect } from "effect"
  *
@@ -3420,6 +3509,7 @@ export const promise: <A>(
  * //      ┌─── Effect<number, never, never>
  * //      ▼
  * const success = Effect.succeed(42)
+ * ```
  *
  * @since 2.0.0
  * @category Creating Effects
@@ -3457,6 +3547,7 @@ export const succeedSome: <A>(value: A) => Effect<Option.Option<A>> = effect.suc
  * - **Unifying Return Types**: Can help TypeScript unify return types in situations where multiple branches of logic return different effects, simplifying type inference.
  *
  * @example
+ * ```ts
  * // Title: Lazy Evaluation with Side Effects
  * import { Effect } from "effect"
  *
@@ -3471,6 +3562,7 @@ export const succeedSome: <A>(value: A) => Effect<Option.Option<A>> = effect.suc
  *
  * console.log(Effect.runSync(good)) // Output: 1
  * console.log(Effect.runSync(good)) // Output: 2
+ * ```
  *
  * @example
  * // Title: Recursive Fibonacci
@@ -3544,6 +3636,7 @@ export const suspend: <A, E, R>(effect: LazyArg<Effect<A, E, R>>) => Effect<A, E
  * @see {@link try_ | try} for a version that can handle failures.
  *
  * @example
+ * ```ts
  * // Title: Logging a Message
  * import { Effect } from "effect"
  *
@@ -3555,6 +3648,7 @@ export const suspend: <A, E, R>(effect: LazyArg<Effect<A, E, R>>) => Effect<A, E
  * //      ┌─── Effect<void, never, never>
  * //      ▼
  * const program = log("Hello, World!")
+ * ```
  *
  * @since 2.0.0
  * @category Creating Effects
@@ -3616,6 +3710,7 @@ export {
  * @see {@link catchAllCause} for a version that can recover from both recoverable and unrecoverable errors.
  *
  * @example
+ * ```ts
  * // Title: Providing Recovery Logic for Recoverable Errors
  * import { Effect, Random } from "effect"
  *
@@ -3648,6 +3743,7 @@ export {
  *     Effect.succeed(`Recovering from ${error._tag}`)
  *   )
  * )
+ * ```
  *
  * @since 2.0.0
  * @category Error handling
@@ -3669,6 +3765,7 @@ export const catchAll: {
    * @see {@link catchAllCause} for a version that can recover from both recoverable and unrecoverable errors.
    *
    * @example
+   * ```ts
    * // Title: Providing Recovery Logic for Recoverable Errors
    * import { Effect, Random } from "effect"
    *
@@ -3701,6 +3798,7 @@ export const catchAll: {
    *     Effect.succeed(`Recovering from ${error._tag}`)
    *   )
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -3722,6 +3820,7 @@ export const catchAll: {
    * @see {@link catchAllCause} for a version that can recover from both recoverable and unrecoverable errors.
    *
    * @example
+   * ```ts
    * // Title: Providing Recovery Logic for Recoverable Errors
    * import { Effect, Random } from "effect"
    *
@@ -3754,6 +3853,7 @@ export const catchAll: {
    *     Effect.succeed(`Recovering from ${error._tag}`)
    *   )
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -3779,6 +3879,7 @@ export const catchAll: {
  * dynamically loaded plugins, controlled recovery might be needed.
  *
  * @example
+ * ```ts
  * // Title: Recovering from All Errors
  * import { Cause, Effect } from "effect"
  *
@@ -3796,6 +3897,7 @@ export const catchAll: {
  *
  * Effect.runPromise(recovered).then(console.log)
  * // Output: "Recovered from a regular error"
+ * ```
  *
  * @since 2.0.0
  * @category Error handling
@@ -3819,6 +3921,7 @@ export const catchAllCause: {
    * dynamically loaded plugins, controlled recovery might be needed.
    *
    * @example
+   * ```ts
    * // Title: Recovering from All Errors
    * import { Cause, Effect } from "effect"
    *
@@ -3836,6 +3939,7 @@ export const catchAllCause: {
    *
    * Effect.runPromise(recovered).then(console.log)
    * // Output: "Recovered from a regular error"
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -3861,6 +3965,7 @@ export const catchAllCause: {
    * dynamically loaded plugins, controlled recovery might be needed.
    *
    * @example
+   * ```ts
    * // Title: Recovering from All Errors
    * import { Cause, Effect } from "effect"
    *
@@ -3878,6 +3983,7 @@ export const catchAllCause: {
    *
    * Effect.runPromise(recovered).then(console.log)
    * // Output: "Recovered from a regular error"
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -3912,6 +4018,7 @@ export const catchAllCause: {
  * dynamically loaded plugins, controlled recovery might be needed.
  *
  * @example
+ * ```ts
  * // Title: Handling All Defects
  * import { Effect, Cause, Console } from "effect"
  *
@@ -3936,6 +4043,7 @@ export const catchAllCause: {
  * //   _tag: "Success",
  * //   value: undefined
  * // }
+ * ```
  *
  * @since 2.0.0
  * @category Error handling
@@ -3965,6 +4073,7 @@ export const catchAllDefect: {
    * dynamically loaded plugins, controlled recovery might be needed.
    *
    * @example
+   * ```ts
    * // Title: Handling All Defects
    * import { Effect, Cause, Console } from "effect"
    *
@@ -3989,6 +4098,7 @@ export const catchAllDefect: {
    * //   _tag: "Success",
    * //   value: undefined
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -4020,6 +4130,7 @@ export const catchAllDefect: {
    * dynamically loaded plugins, controlled recovery might be needed.
    *
    * @example
+   * ```ts
    * // Title: Handling All Defects
    * import { Effect, Cause, Console } from "effect"
    *
@@ -4044,6 +4155,7 @@ export const catchAllDefect: {
    * //   _tag: "Success",
    * //   value: undefined
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -4066,6 +4178,7 @@ export const catchAllDefect: {
  * error type unless a user-defined type guard is used to narrow the type.
  *
  * @example
+ * ```ts
  * // Title: Catching Specific Errors with a Predicate
  * import { Effect, Random } from "effect"
  *
@@ -4100,6 +4213,7 @@ export const catchAllDefect: {
  *     () => Effect.succeed("Recovering from HttpError")
  *   )
  * )
+ * ```
  *
  * @since 2.0.0
  * @category Error handling
@@ -4117,6 +4231,7 @@ export const catchIf: {
    * error type unless a user-defined type guard is used to narrow the type.
    *
    * @example
+   * ```ts
    * // Title: Catching Specific Errors with a Predicate
    * import { Effect, Random } from "effect"
    *
@@ -4151,6 +4266,7 @@ export const catchIf: {
    *     () => Effect.succeed("Recovering from HttpError")
    *   )
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -4171,6 +4287,7 @@ export const catchIf: {
    * error type unless a user-defined type guard is used to narrow the type.
    *
    * @example
+   * ```ts
    * // Title: Catching Specific Errors with a Predicate
    * import { Effect, Random } from "effect"
    *
@@ -4205,6 +4322,7 @@ export const catchIf: {
    *     () => Effect.succeed("Recovering from HttpError")
    *   )
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -4225,6 +4343,7 @@ export const catchIf: {
    * error type unless a user-defined type guard is used to narrow the type.
    *
    * @example
+   * ```ts
    * // Title: Catching Specific Errors with a Predicate
    * import { Effect, Random } from "effect"
    *
@@ -4259,6 +4378,7 @@ export const catchIf: {
    *     () => Effect.succeed("Recovering from HttpError")
    *   )
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -4280,6 +4400,7 @@ export const catchIf: {
    * error type unless a user-defined type guard is used to narrow the type.
    *
    * @example
+   * ```ts
    * // Title: Catching Specific Errors with a Predicate
    * import { Effect, Random } from "effect"
    *
@@ -4314,6 +4435,7 @@ export const catchIf: {
    *     () => Effect.succeed("Recovering from HttpError")
    *   )
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -4340,6 +4462,7 @@ export const catchIf: {
  * @see {@link catchIf} for a version that allows you to recover from errors based on a predicate.
  *
  * @example
+ * ```ts
  * // Title: Handling Specific Errors with Effect.catchSome
  * import { Effect, Random, Option } from "effect"
  *
@@ -4377,6 +4500,7 @@ export const catchIf: {
  *     }
  *   })
  * )
+ * ```
  *
  * @since 2.0.0
  * @category Error handling
@@ -4397,6 +4521,7 @@ export const catchSome: {
    * @see {@link catchIf} for a version that allows you to recover from errors based on a predicate.
    *
    * @example
+   * ```ts
    * // Title: Handling Specific Errors with Effect.catchSome
    * import { Effect, Random, Option } from "effect"
    *
@@ -4434,6 +4559,7 @@ export const catchSome: {
    *     }
    *   })
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -4456,6 +4582,7 @@ export const catchSome: {
    * @see {@link catchIf} for a version that allows you to recover from errors based on a predicate.
    *
    * @example
+   * ```ts
    * // Title: Handling Specific Errors with Effect.catchSome
    * import { Effect, Random, Option } from "effect"
    *
@@ -4493,6 +4620,7 @@ export const catchSome: {
    *     }
    *   })
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -4558,6 +4686,7 @@ export const catchSomeCause: {
  * - If the defect does not match, the function returns `Option.none`, allowing the defect to propagate.
  *
  * @example
+ * ```ts
  * // Title: Handling Specific Defects
  * import { Effect, Cause, Option, Console } from "effect"
  *
@@ -4588,6 +4717,7 @@ export const catchSomeCause: {
  * //     defect: { _tag: 'RuntimeException' }
  * //   }
  * // }
+ * ```
  *
  * @since 2.0.0
  * @category Error handling
@@ -4620,6 +4750,7 @@ export const catchSomeDefect: {
    * - If the defect does not match, the function returns `Option.none`, allowing the defect to propagate.
    *
    * @example
+   * ```ts
    * // Title: Handling Specific Defects
    * import { Effect, Cause, Option, Console } from "effect"
    *
@@ -4650,6 +4781,7 @@ export const catchSomeDefect: {
    * //     defect: { _tag: 'RuntimeException' }
    * //   }
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -4684,6 +4816,7 @@ export const catchSomeDefect: {
    * - If the defect does not match, the function returns `Option.none`, allowing the defect to propagate.
    *
    * @example
+   * ```ts
    * // Title: Handling Specific Defects
    * import { Effect, Cause, Option, Console } from "effect"
    *
@@ -4714,6 +4847,7 @@ export const catchSomeDefect: {
    * //     defect: { _tag: 'RuntimeException' }
    * //   }
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -4742,6 +4876,7 @@ export const catchSomeDefect: {
  * types at once.
  *
  * @example
+ * ```ts
  * // Title: Handling Errors by Tag
  * import { Effect, Random } from "effect"
  *
@@ -4775,6 +4910,7 @@ export const catchSomeDefect: {
  *     Effect.succeed("Recovering from HttpError")
  *   )
  * )
+ * ```
  *
  * @since 2.0.0
  * @category Error handling
@@ -4798,6 +4934,7 @@ export const catchTag: {
    * types at once.
    *
    * @example
+   * ```ts
    * // Title: Handling Errors by Tag
    * import { Effect, Random } from "effect"
    *
@@ -4831,6 +4968,7 @@ export const catchTag: {
    *     Effect.succeed("Recovering from HttpError")
    *   )
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -4857,6 +4995,7 @@ export const catchTag: {
    * types at once.
    *
    * @example
+   * ```ts
    * // Title: Handling Errors by Tag
    * import { Effect, Random } from "effect"
    *
@@ -4890,6 +5029,7 @@ export const catchTag: {
    *     Effect.succeed("Recovering from HttpError")
    *   )
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -4916,6 +5056,7 @@ export const catchTag: {
  * field is used to identify and match errors.
  *
  * @example
+ * ```ts
  * // Title: Handling Multiple Tagged Error Types at Once
  * import { Effect, Random } from "effect"
  *
@@ -4951,6 +5092,7 @@ export const catchTag: {
  *       Effect.succeed(`Recovering from ValidationError`)
  *   })
  * )
+ * ```
  *
  * @since 2.0.0
  * @category Error handling
@@ -4971,6 +5113,7 @@ export const catchTags: {
    * field is used to identify and match errors.
    *
    * @example
+   * ```ts
    * // Title: Handling Multiple Tagged Error Types at Once
    * import { Effect, Random } from "effect"
    *
@@ -5006,6 +5149,7 @@ export const catchTags: {
    *       Effect.succeed(`Recovering from ValidationError`)
    *   })
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -5046,6 +5190,7 @@ export const catchTags: {
    * field is used to identify and match errors.
    *
    * @example
+   * ```ts
    * // Title: Handling Multiple Tagged Error Types at Once
    * import { Effect, Random } from "effect"
    *
@@ -5081,6 +5226,7 @@ export const catchTags: {
    *       Effect.succeed(`Recovering from ValidationError`)
    *   })
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -5120,6 +5266,7 @@ export const catchTags: {
  * interruptions, etc.).
  *
  * @example
+ * ```ts
  * import { Effect, Console } from "effect"
  *
  * //      ┌─── Effect<number, string, never>
@@ -5132,6 +5279,7 @@ export const catchTags: {
  *   const cause = yield* Effect.cause(program)
  *   yield* Console.log(cause)
  * })
+ * ```
  *
  * @since 2.0.0
  * @category Error handling
@@ -5155,6 +5303,7 @@ export const eventually: <A, E, R>(self: Effect<A, E, R>) => Effect<A, never, R>
  * side effects of the effect and do not need to handle or process its outcome.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * //      ┌─── Effect<number, string, never>
@@ -5164,6 +5313,7 @@ export const eventually: <A, E, R>(self: Effect<A, E, R>) => Effect<A, never, R>
  * //      ┌─── Effect<void, never, never>
  * //      ▼
  * const program = Effect.ignore(task)
+ * ```
  *
  * @since 2.0.0
  * @category Error handling
@@ -5191,6 +5341,7 @@ export const ignoreLogged: <A, E, R>(self: Effect<A, E, R>) => Effect<void, neve
  * it easier to manage and respond to errors from multiple operations at once.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * const fail1 = Effect.fail("Oh uh!")
@@ -5209,6 +5360,7 @@ export const ignoreLogged: <A, E, R>(self: Effect<A, E, R>) => Effect<void, neve
  * //   _tag: 'Failure',
  * //   cause: { _id: 'Cause', _tag: 'Fail', failure: [ 'Oh uh!', 'Oh no!' ] }
  * // }
+ * ```
  *
  * @since 2.0.0
  * @category Error handling
@@ -5231,6 +5383,7 @@ export const parallelErrors: <A, E, R>(self: Effect<A, E, R>) => Effect<A, Array
  * @see {@link unsandbox} to restore the original error handling.
  *
  * @example
+ * ```ts
  * import { Effect, Console } from "effect"
  *
  * //      ┌─── Effect<string, Error, never>
@@ -5265,6 +5418,7 @@ export const parallelErrors: <A, E, R>(self: Effect<A, E, R>) => Effect<A, Array
  * // Output:
  * // Caught a defect: Oh uh!
  * // fallback result on failure
+ * ```
  *
  * @since 2.0.0
  * @category Error handling
@@ -5322,6 +5476,7 @@ export declare namespace Retry {
  * @see {@link retryOrElse} for a version that allows you to run a fallback.
  *
  * @example
+ * ```ts
  * import { Effect, Schedule } from "effect"
  *
  * let count = 0
@@ -5350,6 +5505,7 @@ export declare namespace Retry {
  * // failure
  * // success
  * // yay!
+ * ```
  *
  * @since 2.0.0
  * @category Error handling
@@ -5372,6 +5528,7 @@ export const retry: {
    * @see {@link retryOrElse} for a version that allows you to run a fallback.
    *
    * @example
+   * ```ts
    * import { Effect, Schedule } from "effect"
    *
    * let count = 0
@@ -5400,6 +5557,7 @@ export const retry: {
    * // failure
    * // success
    * // yay!
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -5424,6 +5582,7 @@ export const retry: {
    * @see {@link retryOrElse} for a version that allows you to run a fallback.
    *
    * @example
+   * ```ts
    * import { Effect, Schedule } from "effect"
    *
    * let count = 0
@@ -5452,6 +5611,7 @@ export const retry: {
    * // failure
    * // success
    * // yay!
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -5474,6 +5634,7 @@ export const retry: {
    * @see {@link retryOrElse} for a version that allows you to run a fallback.
    *
    * @example
+   * ```ts
    * import { Effect, Schedule } from "effect"
    *
    * let count = 0
@@ -5502,6 +5663,7 @@ export const retry: {
    * // failure
    * // success
    * // yay!
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -5524,6 +5686,7 @@ export const retry: {
    * @see {@link retryOrElse} for a version that allows you to run a fallback.
    *
    * @example
+   * ```ts
    * import { Effect, Schedule } from "effect"
    *
    * let count = 0
@@ -5552,6 +5715,7 @@ export const retry: {
    * // failure
    * // success
    * // yay!
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -5571,6 +5735,7 @@ export const retry: {
  * @see {@link retry} for a version that does not run a fallback effect.
  *
  * @example
+ * ```ts
  * import { Effect, Schedule, Console } from "effect"
  *
  * let count = 0
@@ -5602,6 +5767,7 @@ export const retry: {
  * // failure
  * // orElse
  * // default value
+ * ```
  *
  * @since 2.0.0
  * @category Error handling
@@ -5619,6 +5785,7 @@ export const retryOrElse: {
    * @see {@link retry} for a version that does not run a fallback effect.
    *
    * @example
+   * ```ts
    * import { Effect, Schedule, Console } from "effect"
    *
    * let count = 0
@@ -5650,6 +5817,7 @@ export const retryOrElse: {
    * // failure
    * // orElse
    * // default value
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -5670,6 +5838,7 @@ export const retryOrElse: {
    * @see {@link retry} for a version that does not run a fallback effect.
    *
    * @example
+   * ```ts
    * import { Effect, Schedule, Console } from "effect"
    *
    * let count = 0
@@ -5701,6 +5870,7 @@ export const retryOrElse: {
    * // failure
    * // orElse
    * // default value
+   * ```
    *
    * @since 2.0.0
    * @category Error handling
@@ -5742,6 +5912,7 @@ export {
    * throw errors.
    *
    * @example
+   * ```ts
    * // Title: Safe JSON Parsing
    * import { Effect } from "effect"
    *
@@ -5753,6 +5924,7 @@ export {
    * //      ▼
    * const program = parse("")
    *
+   * ```
    * @example
    * // Title: Custom Error Handling
    * import { Effect } from "effect"
@@ -5884,6 +6056,7 @@ export const tryMapPromise: {
  * @see {@link promise} if the effectful computation is asynchronous and does not throw errors.
  *
  * @example
+ * ```ts
  * // Title: Fetching a TODO Item
  * import { Effect } from "effect"
  *
@@ -5896,6 +6069,7 @@ export const tryMapPromise: {
  * //      ┌─── Effect<Response, UnknownException, never>
  * //      ▼
  * const program = getTodo(1)
+ * ```
  *
  * @example
  * // Title: Custom Error Handling
@@ -5945,6 +6119,7 @@ export const tryPromise: {
    * @see {@link promise} if the effectful computation is asynchronous and does not throw errors.
    *
    * @example
+   * ```ts
    * // Title: Fetching a TODO Item
    * import { Effect } from "effect"
    *
@@ -5957,6 +6132,7 @@ export const tryPromise: {
    * //      ┌─── Effect<Response, UnknownException, never>
    * //      ▼
    * const program = getTodo(1)
+   * ```
    *
    * @example
    * // Title: Custom Error Handling
@@ -6011,6 +6187,7 @@ export const tryPromise: {
    * @see {@link promise} if the effectful computation is asynchronous and does not throw errors.
    *
    * @example
+   * ```ts
    * // Title: Fetching a TODO Item
    * import { Effect } from "effect"
    *
@@ -6023,6 +6200,7 @@ export const tryPromise: {
    * //      ┌─── Effect<Response, UnknownException, never>
    * //      ▼
    * const program = getTodo(1)
+   * ```
    *
    * @example
    * // Title: Custom Error Handling
@@ -6111,6 +6289,7 @@ export const checkInterruptible: <A, E, R>(f: (isInterruptible: boolean) => Effe
  * @see {@link Effect.uninterruptible} for creating an uninterruptible effect.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * const longRunningTask = Effect.gen(function* () {
@@ -6140,6 +6319,7 @@ export const checkInterruptible: <A, E, R>(f: (isInterruptible: boolean) => Effe
  * //   }
  * // }
  * // Heavy processing done.
+ * ```
  *
  * @since 2.0.0
  * @category Interruption
@@ -6213,6 +6393,7 @@ export const uninterruptibleMask: <A, E, R>(
  * or failing with specified error if the predicate fails
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * const isPositive = (n: number): boolean => n > 0
@@ -6222,6 +6403,7 @@ export const uninterruptibleMask: <A, E, R>(
  *
  * // fails with `"0 is not positive"`
  * Effect.liftPredicate(0, isPositive, n => `${n} is not positive`)
+ * ```
  *
  * @category Condition Checking
  * @since 3.4.0
@@ -6232,6 +6414,7 @@ export const liftPredicate: {
    * or failing with specified error if the predicate fails
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const isPositive = (n: number): boolean => n > 0
@@ -6241,6 +6424,7 @@ export const liftPredicate: {
    *
    * // fails with `"0 is not positive"`
    * Effect.liftPredicate(0, isPositive, n => `${n} is not positive`)
+   * ```
    *
    * @category Condition Checking
    * @since 3.4.0
@@ -6251,6 +6435,7 @@ export const liftPredicate: {
    * or failing with specified error if the predicate fails
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const isPositive = (n: number): boolean => n > 0
@@ -6260,6 +6445,7 @@ export const liftPredicate: {
    *
    * // fails with `"0 is not positive"`
    * Effect.liftPredicate(0, isPositive, n => `${n} is not positive`)
+   * ```
    *
    * @category Condition Checking
    * @since 3.4.0
@@ -6270,6 +6456,7 @@ export const liftPredicate: {
    * or failing with specified error if the predicate fails
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const isPositive = (n: number): boolean => n > 0
@@ -6279,6 +6466,7 @@ export const liftPredicate: {
    *
    * // fails with `"0 is not positive"`
    * Effect.liftPredicate(0, isPositive, n => `${n} is not positive`)
+   * ```
    *
    * @category Condition Checking
    * @since 3.4.0
@@ -6289,6 +6477,7 @@ export const liftPredicate: {
    * or failing with specified error if the predicate fails
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const isPositive = (n: number): boolean => n > 0
@@ -6298,6 +6487,7 @@ export const liftPredicate: {
    *
    * // fails with `"0 is not positive"`
    * Effect.liftPredicate(0, isPositive, n => `${n} is not positive`)
+   * ```
    *
    * @category Condition Checking
    * @since 3.4.0
@@ -6316,6 +6506,7 @@ export const liftPredicate: {
  * replace it with a new constant value.
  *
  * @example
+ * ```ts
  * // Title: Replacing a Value
  * import { pipe, Effect } from "effect"
  *
@@ -6324,6 +6515,7 @@ export const liftPredicate: {
  *
  * Effect.runPromise(program).then(console.log)
  * // Output: "new value"
+ * ```
  *
  * @since 2.0.0
  * @category Mapping
@@ -6336,6 +6528,7 @@ export const as: {
    * replace it with a new constant value.
    *
    * @example
+   * ```ts
    * // Title: Replacing a Value
    * import { pipe, Effect } from "effect"
    *
@@ -6344,6 +6537,7 @@ export const as: {
    *
    * Effect.runPromise(program).then(console.log)
    * // Output: "new value"
+   * ```
    *
    * @since 2.0.0
    * @category Mapping
@@ -6356,6 +6550,7 @@ export const as: {
    * replace it with a new constant value.
    *
    * @example
+   * ```ts
    * // Title: Replacing a Value
    * import { pipe, Effect } from "effect"
    *
@@ -6364,6 +6559,7 @@ export const as: {
    *
    * Effect.runPromise(program).then(console.log)
    * // Output: "new value"
+   * ```
    *
    * @since 2.0.0
    * @category Mapping
@@ -6412,6 +6608,7 @@ export const asVoid: <A, E, R>(self: Effect<A, E, R>) => Effect<void, E, R> = co
  * treat an error as a valid result.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * //      ┌─── Effect<number, string, never>
@@ -6421,6 +6618,7 @@ export const asVoid: <A, E, R>(self: Effect<A, E, R>) => Effect<void, E, R> = co
  * //      ┌─── Effect<string, number, never>
  * //      ▼
  * const flipped = Effect.flip(program)
+ * ```
  *
  * @since 2.0.0
  * @category Mapping
@@ -6482,6 +6680,7 @@ export const flipWith: {
  * @see {@link flatMap} or {@link andThen} for a version that can return a new effect.
  *
  * @example
+ * ```ts
  * // Title: Adding a Service Charge
  * import { pipe, Effect } from "effect"
  *
@@ -6496,6 +6695,7 @@ export const flipWith: {
  *
  * Effect.runPromise(finalAmount).then(console.log)
  * // Output: 101
+ * ```
  * @since 2.0.0
  * @category Mapping
  */
@@ -6527,6 +6727,7 @@ export const map: {
    * @see {@link flatMap} or {@link andThen} for a version that can return a new effect.
    *
    * @example
+   * ```ts
    * // Title: Adding a Service Charge
    * import { pipe, Effect } from "effect"
    *
@@ -6541,6 +6742,7 @@ export const map: {
    *
    * Effect.runPromise(finalAmount).then(console.log)
    * // Output: 101
+   * ```
    * @since 2.0.0
    * @category Mapping
    */
@@ -6572,6 +6774,7 @@ export const map: {
    * @see {@link flatMap} or {@link andThen} for a version that can return a new effect.
    *
    * @example
+   * ```ts
    * // Title: Adding a Service Charge
    * import { pipe, Effect } from "effect"
    *
@@ -6586,6 +6789,7 @@ export const map: {
    *
    * Effect.runPromise(finalAmount).then(console.log)
    * // Output: 101
+   * ```
    * @since 2.0.0
    * @category Mapping
    */
@@ -6612,6 +6816,7 @@ export const map: {
  * input collection type.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * // Define an initial state and a transformation function
@@ -6630,6 +6835,7 @@ export const map: {
  * // Output:
  * // 6
  * // [ 'A', 'BB', 'CCC' ]
+ * ```
  *
  * @since 2.0.0
  * @category Mapping
@@ -6655,6 +6861,7 @@ export const mapAccum: {
    * input collection type.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * // Define an initial state and a transformation function
@@ -6673,6 +6880,7 @@ export const mapAccum: {
    * // Output:
    * // 6
    * // [ 'A', 'BB', 'CCC' ]
+   * ```
    *
    * @since 2.0.0
    * @category Mapping
@@ -6701,6 +6909,7 @@ export const mapAccum: {
    * input collection type.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * // Define an initial state and a transformation function
@@ -6719,6 +6928,7 @@ export const mapAccum: {
    * // Output:
    * // 6
    * // [ 'A', 'BB', 'CCC' ]
+   * ```
    *
    * @since 2.0.0
    * @category Mapping
@@ -6743,6 +6953,7 @@ export const mapAccum: {
  * @see {@link mapError} for a version that operates on the error channel.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * //      ┌─── Effect<number, string, never>
@@ -6755,6 +6966,7 @@ export const mapAccum: {
  *   onFailure: (message) => new Error(message),
  *   onSuccess: (n) => n > 0
  * })
+ * ```
  *
  * @since 2.0.0
  * @category Mapping
@@ -6773,6 +6985,7 @@ export const mapBoth: {
    * @see {@link mapError} for a version that operates on the error channel.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * //      ┌─── Effect<number, string, never>
@@ -6785,6 +6998,7 @@ export const mapBoth: {
    *   onFailure: (message) => new Error(message),
    *   onSuccess: (n) => n > 0
    * })
+   * ```
    *
    * @since 2.0.0
    * @category Mapping
@@ -6805,6 +7019,7 @@ export const mapBoth: {
    * @see {@link mapError} for a version that operates on the error channel.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * //      ┌─── Effect<number, string, never>
@@ -6817,6 +7032,7 @@ export const mapBoth: {
    *   onFailure: (message) => new Error(message),
    *   onSuccess: (n) => n > 0
    * })
+   * ```
    *
    * @since 2.0.0
    * @category Mapping
@@ -6841,6 +7057,7 @@ export const mapBoth: {
  * @see {@link orElseFail} if you want to replace the error with a new one.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * //      ┌─── Effect<number, string, never>
@@ -6853,6 +7070,7 @@ export const mapBoth: {
  *   simulatedTask,
  *   (message) => new Error(message)
  * )
+ * ```
  *
  * @since 2.0.0
  * @category Mapping
@@ -6872,6 +7090,7 @@ export const mapError: {
    * @see {@link orElseFail} if you want to replace the error with a new one.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * //      ┌─── Effect<number, string, never>
@@ -6884,6 +7103,7 @@ export const mapError: {
    *   simulatedTask,
    *   (message) => new Error(message)
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Mapping
@@ -6903,6 +7123,7 @@ export const mapError: {
    * @see {@link orElseFail} if you want to replace the error with a new one.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * //      ┌─── Effect<number, string, never>
@@ -6915,6 +7136,7 @@ export const mapError: {
    *   simulatedTask,
    *   (message) => new Error(message)
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Mapping
@@ -6968,6 +7190,7 @@ export const mapErrorCause: {
  * errors as part of the outcome.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * //      ┌─── Effect<number, string, never>
@@ -6977,6 +7200,7 @@ export const mapErrorCause: {
  * //      ┌─── Effect<number | string, never, never>
  * //      ▼
  * const recovered = Effect.merge(program)
+ * ```
  *
  * @since 2.0.0
  * @category Mapping
@@ -7368,6 +7592,17 @@ export const scope: Effect<Scope.Scope, never, Scope.Scope> = fiberRuntime.scope
 export const scopeWith: <A, E, R>(f: (scope: Scope.Scope) => Effect<A, E, R>) => Effect<A, E, R | Scope.Scope> =
   fiberRuntime.scopeWith
 
+/**
+ * Creates a `Scope`, passes it to the specified effectful function, and then
+ * closes the scope as soon as the effect is complete (whether through success,
+ * failure, or interruption).
+ *
+ * @since 3.11.0
+ * @category scoping, resources & finalization
+ */
+export const scopedWith: <A, E, R>(f: (scope: Scope.Scope) => Effect<A, E, R>) => Effect<A, E, R> =
+  fiberRuntime.scopedWith
+
 /**
  * Scopes all resources used in this workflow to the lifetime of the workflow,
  * ensuring that their finalizers are run as soon as this workflow completes
@@ -8030,6 +8265,7 @@ export const timedWith: {
  * @see {@link timeoutTo} for a version that allows specifying both success and timeout handlers.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * const task = Effect.gen(function* () {
@@ -8055,6 +8291,7 @@ export const timedWith: {
  * //     failure: { _tag: 'TimeoutException' }
  * //   }
  * // }
+ * ```
  *
  * @since 2.0.0
  * @category delays & timeouts
@@ -8075,6 +8312,7 @@ export const timeout: {
    * @see {@link timeoutTo} for a version that allows specifying both success and timeout handlers.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const task = Effect.gen(function* () {
@@ -8100,6 +8338,7 @@ export const timeout: {
    * //     failure: { _tag: 'TimeoutException' }
    * //   }
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category delays & timeouts
@@ -8120,6 +8359,7 @@ export const timeout: {
    * @see {@link timeoutTo} for a version that allows specifying both success and timeout handlers.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const task = Effect.gen(function* () {
@@ -8145,6 +8385,7 @@ export const timeout: {
    * //     failure: { _tag: 'TimeoutException' }
    * //   }
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category delays & timeouts
@@ -8172,6 +8413,7 @@ export const timeout: {
  * @see {@link timeoutTo} for a version that allows specifying both success and timeout handlers.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * const task = Effect.gen(function* () {
@@ -8195,6 +8437,7 @@ export const timeout: {
  * //   { _id: 'Option', _tag: 'Some', value: 'Result' },
  * //   { _id: 'Option', _tag: 'None' }
  * // ]
+ * ```
  *
  * @since 3.1.0
  * @category delays & timeouts
@@ -8220,6 +8463,7 @@ export const timeoutOption: {
    * @see {@link timeoutTo} for a version that allows specifying both success and timeout handlers.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const task = Effect.gen(function* () {
@@ -8243,6 +8487,7 @@ export const timeoutOption: {
    * //   { _id: 'Option', _tag: 'Some', value: 'Result' },
    * //   { _id: 'Option', _tag: 'None' }
    * // ]
+   * ```
    *
    * @since 3.1.0
    * @category delays & timeouts
@@ -8268,6 +8513,7 @@ export const timeoutOption: {
    * @see {@link timeoutTo} for a version that allows specifying both success and timeout handlers.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const task = Effect.gen(function* () {
@@ -8291,6 +8537,7 @@ export const timeoutOption: {
    * //   { _id: 'Option', _tag: 'Some', value: 'Result' },
    * //   { _id: 'Option', _tag: 'None' }
    * // ]
+   * ```
    *
    * @since 3.1.0
    * @category delays & timeouts
@@ -8317,6 +8564,7 @@ export const timeoutOption: {
  * @see {@link timeoutTo} for a version that allows specifying both success and timeout handlers.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * const task = Effect.gen(function* () {
@@ -8349,6 +8597,7 @@ export const timeoutOption: {
  * //     failure: MyTimeoutError { _tag: 'MyTimeoutError' }
  * //   }
  * // }
+ * ```
  *
  * @since 2.0.0
  * @category delays & timeouts
@@ -8373,6 +8622,7 @@ export const timeoutFail: {
    * @see {@link timeoutTo} for a version that allows specifying both success and timeout handlers.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const task = Effect.gen(function* () {
@@ -8405,6 +8655,7 @@ export const timeoutFail: {
    * //     failure: MyTimeoutError { _tag: 'MyTimeoutError' }
    * //   }
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category delays & timeouts
@@ -8431,6 +8682,7 @@ export const timeoutFail: {
    * @see {@link timeoutTo} for a version that allows specifying both success and timeout handlers.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const task = Effect.gen(function* () {
@@ -8463,6 +8715,7 @@ export const timeoutFail: {
    * //     failure: MyTimeoutError { _tag: 'MyTimeoutError' }
    * //   }
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category delays & timeouts
@@ -8491,6 +8744,7 @@ export const timeoutFail: {
  * @see {@link timeoutTo} for a version that allows specifying both success and timeout handlers.
  *
  * @example
+ * ```ts
  * import { Effect, Cause } from "effect"
  *
  * const task = Effect.gen(function* () {
@@ -8515,6 +8769,7 @@ export const timeoutFail: {
  * //   _tag: 'Failure',
  * //   cause: { _id: 'Cause', _tag: 'Die', defect: 'Timed out!' }
  * // }
+ * ```
  *
  * @since 2.0.0
  * @category delays & timeouts
@@ -8538,6 +8793,7 @@ export const timeoutFailCause: {
    * @see {@link timeoutTo} for a version that allows specifying both success and timeout handlers.
    *
    * @example
+   * ```ts
    * import { Effect, Cause } from "effect"
    *
    * const task = Effect.gen(function* () {
@@ -8562,6 +8818,7 @@ export const timeoutFailCause: {
    * //   _tag: 'Failure',
    * //   cause: { _id: 'Cause', _tag: 'Die', defect: 'Timed out!' }
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category delays & timeouts
@@ -8587,6 +8844,7 @@ export const timeoutFailCause: {
    * @see {@link timeoutTo} for a version that allows specifying both success and timeout handlers.
    *
    * @example
+   * ```ts
    * import { Effect, Cause } from "effect"
    *
    * const task = Effect.gen(function* () {
@@ -8611,6 +8869,7 @@ export const timeoutFailCause: {
    * //   _tag: 'Failure',
    * //   cause: { _id: 'Cause', _tag: 'Die', defect: 'Timed out!' }
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category delays & timeouts
@@ -8643,6 +8902,7 @@ export const timeoutFailCause: {
  * @see {@link timeoutFailCause} for a version that raises a custom defect.
  *
  * @example
+ * ```ts
  * import { Effect, Either } from "effect"
  *
  * const task = Effect.gen(function* () {
@@ -8670,6 +8930,7 @@ export const timeoutFailCause: {
  * //   _tag: "Left",
  * //   left: "Timed out!"
  * // }
+ * ```
  *
  * @since 2.0.0
  * @category delays & timeouts
@@ -8697,6 +8958,7 @@ export const timeoutTo: {
    * @see {@link timeoutFailCause} for a version that raises a custom defect.
    *
    * @example
+   * ```ts
    * import { Effect, Either } from "effect"
    *
    * const task = Effect.gen(function* () {
@@ -8724,6 +8986,7 @@ export const timeoutTo: {
    * //   _tag: "Left",
    * //   left: "Timed out!"
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category delays & timeouts
@@ -8757,6 +9020,7 @@ export const timeoutTo: {
    * @see {@link timeoutFailCause} for a version that raises a custom defect.
    *
    * @example
+   * ```ts
    * import { Effect, Either } from "effect"
    *
    * const task = Effect.gen(function* () {
@@ -8784,6 +9048,7 @@ export const timeoutTo: {
    * //   _tag: "Left",
    * //   left: "Timed out!"
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category delays & timeouts
@@ -8905,6 +9170,7 @@ export const mapInputContext: {
  * @see {@link provideService} for providing a service to an effect.
  *
  * @example
+ * ```ts
  * import { Context, Effect, Layer } from "effect"
  *
  * class Database extends Context.Tag("Database")<
@@ -8936,6 +9202,7 @@ export const mapInputContext: {
  * // Output:
  * // timestamp=... level=INFO fiber=#0 message="Executing query: SELECT * FROM users"
  * // []
+ * ```
  *
  * @since 2.0.0
  * @category Context
@@ -8951,6 +9218,7 @@ export const provide: {
    * @see {@link provideService} for providing a service to an effect.
    *
    * @example
+   * ```ts
    * import { Context, Effect, Layer } from "effect"
    *
    * class Database extends Context.Tag("Database")<
@@ -8982,6 +9250,7 @@ export const provide: {
    * // Output:
    * // timestamp=... level=INFO fiber=#0 message="Executing query: SELECT * FROM users"
    * // []
+   * ```
    *
    * @since 2.0.0
    * @category Context
@@ -9004,6 +9273,7 @@ export const provide: {
    * @see {@link provideService} for providing a service to an effect.
    *
    * @example
+   * ```ts
    * import { Context, Effect, Layer } from "effect"
    *
    * class Database extends Context.Tag("Database")<
@@ -9035,6 +9305,7 @@ export const provide: {
    * // Output:
    * // timestamp=... level=INFO fiber=#0 message="Executing query: SELECT * FROM users"
    * // []
+   * ```
    *
    * @since 2.0.0
    * @category Context
@@ -9052,6 +9323,7 @@ export const provide: {
    * @see {@link provideService} for providing a service to an effect.
    *
    * @example
+   * ```ts
    * import { Context, Effect, Layer } from "effect"
    *
    * class Database extends Context.Tag("Database")<
@@ -9083,6 +9355,7 @@ export const provide: {
    * // Output:
    * // timestamp=... level=INFO fiber=#0 message="Executing query: SELECT * FROM users"
    * // []
+   * ```
    *
    * @since 2.0.0
    * @category Context
@@ -9098,6 +9371,7 @@ export const provide: {
    * @see {@link provideService} for providing a service to an effect.
    *
    * @example
+   * ```ts
    * import { Context, Effect, Layer } from "effect"
    *
    * class Database extends Context.Tag("Database")<
@@ -9129,6 +9403,7 @@ export const provide: {
    * // Output:
    * // timestamp=... level=INFO fiber=#0 message="Executing query: SELECT * FROM users"
    * // []
+   * ```
    *
    * @since 2.0.0
    * @category Context
@@ -9144,6 +9419,7 @@ export const provide: {
    * @see {@link provideService} for providing a service to an effect.
    *
    * @example
+   * ```ts
    * import { Context, Effect, Layer } from "effect"
    *
    * class Database extends Context.Tag("Database")<
@@ -9175,6 +9451,7 @@ export const provide: {
    * // Output:
    * // timestamp=... level=INFO fiber=#0 message="Executing query: SELECT * FROM users"
    * // []
+   * ```
    *
    * @since 2.0.0
    * @category Context
@@ -9192,6 +9469,7 @@ export const provide: {
    * @see {@link provideService} for providing a service to an effect.
    *
    * @example
+   * ```ts
    * import { Context, Effect, Layer } from "effect"
    *
    * class Database extends Context.Tag("Database")<
@@ -9223,6 +9501,7 @@ export const provide: {
    * // Output:
    * // timestamp=... level=INFO fiber=#0 message="Executing query: SELECT * FROM users"
    * // []
+   * ```
    *
    * @since 2.0.0
    * @category Context
@@ -9246,6 +9525,7 @@ export const provide: {
    * @see {@link provideService} for providing a service to an effect.
    *
    * @example
+   * ```ts
    * import { Context, Effect, Layer } from "effect"
    *
    * class Database extends Context.Tag("Database")<
@@ -9277,6 +9557,7 @@ export const provide: {
    * // Output:
    * // timestamp=... level=INFO fiber=#0 message="Executing query: SELECT * FROM users"
    * // []
+   * ```
    *
    * @since 2.0.0
    * @category Context
@@ -9295,6 +9576,7 @@ export const provide: {
    * @see {@link provideService} for providing a service to an effect.
    *
    * @example
+   * ```ts
    * import { Context, Effect, Layer } from "effect"
    *
    * class Database extends Context.Tag("Database")<
@@ -9326,6 +9608,7 @@ export const provide: {
    * // Output:
    * // timestamp=... level=INFO fiber=#0 message="Executing query: SELECT * FROM users"
    * // []
+   * ```
    *
    * @since 2.0.0
    * @category Context
@@ -9341,6 +9624,7 @@ export const provide: {
    * @see {@link provideService} for providing a service to an effect.
    *
    * @example
+   * ```ts
    * import { Context, Effect, Layer } from "effect"
    *
    * class Database extends Context.Tag("Database")<
@@ -9372,6 +9656,7 @@ export const provide: {
    * // Output:
    * // timestamp=... level=INFO fiber=#0 message="Executing query: SELECT * FROM users"
    * // []
+   * ```
    *
    * @since 2.0.0
    * @category Context
@@ -9387,6 +9672,7 @@ export const provide: {
    * @see {@link provideService} for providing a service to an effect.
    *
    * @example
+   * ```ts
    * import { Context, Effect, Layer } from "effect"
    *
    * class Database extends Context.Tag("Database")<
@@ -9418,6 +9704,7 @@ export const provide: {
    * // Output:
    * // timestamp=... level=INFO fiber=#0 message="Executing query: SELECT * FROM users"
    * // []
+   * ```
    *
    * @since 2.0.0
    * @category Context
@@ -9441,6 +9728,7 @@ export const provide: {
  * @see {@link provide} for providing multiple layers to an effect.
  *
  * @example
+ * ```ts
  * import { Effect, Context } from "effect"
  *
  * // Declaring a tag for a service that generates random numbers
@@ -9468,6 +9756,7 @@ export const provide: {
  * Effect.runPromise(runnable)
  * // Example Output:
  * // random number: 0.8241872233134417
+ * ```
  *
  * @since 2.0.0
  * @category Context
@@ -9486,6 +9775,7 @@ export const provideService: {
    * @see {@link provide} for providing multiple layers to an effect.
    *
    * @example
+   * ```ts
    * import { Effect, Context } from "effect"
    *
    * // Declaring a tag for a service that generates random numbers
@@ -9513,6 +9803,7 @@ export const provideService: {
    * Effect.runPromise(runnable)
    * // Example Output:
    * // random number: 0.8241872233134417
+   * ```
    *
    * @since 2.0.0
    * @category Context
@@ -9534,6 +9825,7 @@ export const provideService: {
    * @see {@link provide} for providing multiple layers to an effect.
    *
    * @example
+   * ```ts
    * import { Effect, Context } from "effect"
    *
    * // Declaring a tag for a service that generates random numbers
@@ -9561,6 +9853,7 @@ export const provideService: {
    * Effect.runPromise(runnable)
    * // Example Output:
    * // random number: 0.8241872233134417
+   * ```
    *
    * @since 2.0.0
    * @category Context
@@ -9722,6 +10015,7 @@ export const updateService: {
  * @see {@link let_ let}
  *
  * @example
+ * ```ts
  * import { Effect, pipe } from "effect"
  *
  * const result = pipe(
@@ -9731,6 +10025,7 @@ export const updateService: {
  *   Effect.let("sum", ({ x, y }) => x + y)
  * )
  * assert.deepStrictEqual(Effect.runSync(result), { x: 2, y: 3, sum: 5 })
+ * ```
  *
  * @category Do notation
  * @since 2.0.0
@@ -9752,6 +10047,7 @@ export const Do: Effect<{}> = effect.Do
  * @see {@link let_ let}
  *
  * @example
+ * ```ts
  * import { Effect, pipe } from "effect"
  *
  * const result = pipe(
@@ -9761,6 +10057,7 @@ export const Do: Effect<{}> = effect.Do
  *   Effect.let("sum", ({ x, y }) => x + y)
  * )
  * assert.deepStrictEqual(Effect.runSync(result), { x: 2, y: 3, sum: 5 })
+ * ```
  *
  * @category Do notation
  * @since 2.0.0
@@ -9781,6 +10078,7 @@ export const bind: {
    * @see {@link let_ let}
    *
    * @example
+   * ```ts
    * import { Effect, pipe } from "effect"
    *
    * const result = pipe(
@@ -9790,6 +10088,7 @@ export const bind: {
    *   Effect.let("sum", ({ x, y }) => x + y)
    * )
    * assert.deepStrictEqual(Effect.runSync(result), { x: 2, y: 3, sum: 5 })
+   * ```
    *
    * @category Do notation
    * @since 2.0.0
@@ -9813,6 +10112,7 @@ export const bind: {
    * @see {@link let_ let}
    *
    * @example
+   * ```ts
    * import { Effect, pipe } from "effect"
    *
    * const result = pipe(
@@ -9822,6 +10122,7 @@ export const bind: {
    *   Effect.let("sum", ({ x, y }) => x + y)
    * )
    * assert.deepStrictEqual(Effect.runSync(result), { x: 2, y: 3, sum: 5 })
+   * ```
    *
    * @category Do notation
    * @since 2.0.0
@@ -9839,6 +10140,7 @@ export const bind: {
  * results in a Do notation pipeline.
  *
  * @example
+ * ```ts
  * import { Effect, Either, pipe } from "effect"
  *
  * const result = pipe(
@@ -9850,6 +10152,7 @@ export const bind: {
  *   }), { concurrency: 2, mode: "either" })
  * )
  * assert.deepStrictEqual(Effect.runSync(result), { x: 2, a: Either.right(2), b: Either.left("oops") })
+ * ```
  *
  * @category Do notation
  * @since 3.7.0
@@ -9861,6 +10164,7 @@ export const bindAll: {
    * results in a Do notation pipeline.
    *
    * @example
+   * ```ts
    * import { Effect, Either, pipe } from "effect"
    *
    * const result = pipe(
@@ -9872,6 +10176,7 @@ export const bindAll: {
    *   }), { concurrency: 2, mode: "either" })
    * )
    * assert.deepStrictEqual(Effect.runSync(result), { x: 2, a: Either.right(2), b: Either.left("oops") })
+   * ```
    *
    * @category Do notation
    * @since 3.7.0
@@ -9903,6 +10208,7 @@ export const bindAll: {
    * results in a Do notation pipeline.
    *
    * @example
+   * ```ts
    * import { Effect, Either, pipe } from "effect"
    *
    * const result = pipe(
@@ -9914,6 +10220,7 @@ export const bindAll: {
    *   }), { concurrency: 2, mode: "either" })
    * )
    * assert.deepStrictEqual(Effect.runSync(result), { x: 2, a: Either.right(2), b: Either.left("oops") })
+   * ```
    *
    * @category Do notation
    * @since 3.7.0
@@ -9962,6 +10269,7 @@ export const bindAll: {
  * @see {@link let_ let}
  *
  * @example
+ * ```ts
  * import { Effect, pipe } from "effect"
  *
  * const result = pipe(
@@ -9971,6 +10279,7 @@ export const bindAll: {
  *   Effect.let("sum", ({ x, y }) => x + y)
  * )
  * assert.deepStrictEqual(Effect.runSync(result), { x: 2, y: 3, sum: 5 })
+ * ```
  *
  * @category Do notation
  * @since 2.0.0
@@ -9991,6 +10300,7 @@ export const bindTo: {
    * @see {@link let_ let}
    *
    * @example
+   * ```ts
    * import { Effect, pipe } from "effect"
    *
    * const result = pipe(
@@ -10000,6 +10310,7 @@ export const bindTo: {
    *   Effect.let("sum", ({ x, y }) => x + y)
    * )
    * assert.deepStrictEqual(Effect.runSync(result), { x: 2, y: 3, sum: 5 })
+   * ```
    *
    * @category Do notation
    * @since 2.0.0
@@ -10020,6 +10331,7 @@ export const bindTo: {
    * @see {@link let_ let}
    *
    * @example
+   * ```ts
    * import { Effect, pipe } from "effect"
    *
    * const result = pipe(
@@ -10029,6 +10341,7 @@ export const bindTo: {
    *   Effect.let("sum", ({ x, y }) => x + y)
    * )
    * assert.deepStrictEqual(Effect.runSync(result), { x: 2, y: 3, sum: 5 })
+   * ```
    *
    * @category Do notation
    * @since 2.0.0
@@ -10064,6 +10377,7 @@ export {
    * @see {@link bindTo}
    *
    * @example
+   * ```ts
    * import { Effect, pipe } from "effect"
    *
    * const result = pipe(
@@ -10074,6 +10388,7 @@ export {
    * )
    * assert.deepStrictEqual(Effect.runSync(result), { x: 2, y: 3, sum: 5 })
    *
+   * ```
    * @category Do notation
    * @since 2.0.0
    */
@@ -10098,6 +10413,7 @@ export {
  * @see {@link exit} for a version that uses `Exit` instead.
  *
  * @example
+ * ```ts
  * // Title: Using Effect.option to Handle Errors
  * import { Effect } from "effect"
  *
@@ -10130,6 +10446,7 @@ export {
  * //   _tag: 'Failure',
  * //   cause: { _id: 'Cause', _tag: 'Die', defect: 'Boom!' }
  * // }
+ * ```
  *
  * @since 2.0.0
  * @category Outcome Encapsulation
@@ -10155,6 +10472,7 @@ export const option: <A, E, R>(self: Effect<A, E, R>) => Effect<Option.Option<A>
  * @see {@link exit} for a version that uses `Exit` instead.
  *
  * @example
+ * ```ts
  * import { Effect, Either, Random } from "effect"
  *
  * class HttpError {
@@ -10190,6 +10508,7 @@ export const option: <A, E, R>(self: Effect<A, E, R>) => Effect<Option.Option<A>
  *     onRight: (value) => value // Do nothing in case of success
  *   })
  * })
+ * ```
  *
  * @since 2.0.0
  * @category Outcome Encapsulation
@@ -10213,6 +10532,7 @@ export const either: <A, E, R>(self: Effect<A, E, R>) => Effect<Either.Either<A,
  * @see {@link either} for a version that uses `Either` instead.
  *
  * @example
+ * ```ts
  * import { Effect, Cause, Console, Exit } from "effect"
  *
  * // Simulating a runtime error
@@ -10244,6 +10564,7 @@ export const either: <A, E, R>(self: Effect<A, E, R>) => Effect<Either.Either<A,
  * //   _tag: "Success",
  * //   value: undefined
  * // }
+ * ```
  *
  * @since 2.0.0
  * @category Outcome Encapsulation
@@ -10261,6 +10582,7 @@ export const exit: <A, E, R>(self: Effect<A, E, R>) => Effect<Exit.Exit<A, E>, n
  * failure. Additionally, if the effect is interrupted, the `Deferred` will also be interrupted.
  *
  * @example
+ * ```ts
  * import { Deferred, Effect } from "effect"
  *
  * // Define an effect that succeeds
@@ -10284,6 +10606,7 @@ export const exit: <A, E, R>(self: Effect<A, E, R>) => Effect<Exit.Exit<A, E>, n
  * // Output:
  * // 42
  * // true
+ * ```
  *
  * @since 2.0.0
  * @category Synchronization Utilities
@@ -10300,6 +10623,7 @@ export const intoDeferred: {
    * failure. Additionally, if the effect is interrupted, the `Deferred` will also be interrupted.
    *
    * @example
+   * ```ts
    * import { Deferred, Effect } from "effect"
    *
    * // Define an effect that succeeds
@@ -10323,6 +10647,7 @@ export const intoDeferred: {
    * // Output:
    * // 42
    * // true
+   * ```
    *
    * @since 2.0.0
    * @category Synchronization Utilities
@@ -10339,6 +10664,7 @@ export const intoDeferred: {
    * failure. Additionally, if the effect is interrupted, the `Deferred` will also be interrupted.
    *
    * @example
+   * ```ts
    * import { Deferred, Effect } from "effect"
    *
    * // Define an effect that succeeds
@@ -10362,6 +10688,7 @@ export const intoDeferred: {
    * // Output:
    * // 42
    * // true
+   * ```
    *
    * @since 2.0.0
    * @category Synchronization Utilities
@@ -10388,6 +10715,7 @@ export {
    * is executed. If it is `false`, the `onFalse` effect is executed instead.
    *
    * @example
+   * ```ts
    * // Title: Simulating a Coin Flip
    * import { Effect, Random, Console } from "effect"
    *
@@ -10398,6 +10726,7 @@ export {
    *
    * Effect.runFork(flipTheCoin)
    *
+   * ```
    * @since 2.0.0
    * @category Conditional Operators
    */
@@ -10572,6 +10901,7 @@ export const filterOrElse: {
  * Let's explore this concept through an example:
  *
  * @example
+ * ```ts
  * import { Effect, pipe } from "effect"
  *
  * // Define a user interface
@@ -10592,6 +10922,7 @@ export const filterOrElse: {
  *   // 'user' now has the type `User` (not `User | null`)
  *   Effect.andThen((user) => user.name)
  * )
+ * ```
  *
  * @since 2.0.0
  * @category Filtering
@@ -10608,6 +10939,7 @@ export const filterOrFail: {
    * Let's explore this concept through an example:
    *
    * @example
+   * ```ts
    * import { Effect, pipe } from "effect"
    *
    * // Define a user interface
@@ -10628,6 +10960,7 @@ export const filterOrFail: {
    *   // 'user' now has the type `User` (not `User | null`)
    *   Effect.andThen((user) => user.name)
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Filtering
@@ -10647,6 +10980,7 @@ export const filterOrFail: {
    * Let's explore this concept through an example:
    *
    * @example
+   * ```ts
    * import { Effect, pipe } from "effect"
    *
    * // Define a user interface
@@ -10667,6 +11001,7 @@ export const filterOrFail: {
    *   // 'user' now has the type `User` (not `User | null`)
    *   Effect.andThen((user) => user.name)
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Filtering
@@ -10686,6 +11021,7 @@ export const filterOrFail: {
    * Let's explore this concept through an example:
    *
    * @example
+   * ```ts
    * import { Effect, pipe } from "effect"
    *
    * // Define a user interface
@@ -10706,6 +11042,7 @@ export const filterOrFail: {
    *   // 'user' now has the type `User` (not `User | null`)
    *   Effect.andThen((user) => user.name)
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Filtering
@@ -10724,6 +11061,7 @@ export const filterOrFail: {
    * Let's explore this concept through an example:
    *
    * @example
+   * ```ts
    * import { Effect, pipe } from "effect"
    *
    * // Define a user interface
@@ -10744,6 +11082,7 @@ export const filterOrFail: {
    *   // 'user' now has the type `User` (not `User | null`)
    *   Effect.andThen((user) => user.name)
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Filtering
@@ -10760,6 +11099,7 @@ export const filterOrFail: {
    * Let's explore this concept through an example:
    *
    * @example
+   * ```ts
    * import { Effect, pipe } from "effect"
    *
    * // Define a user interface
@@ -10780,6 +11120,7 @@ export const filterOrFail: {
    *   // 'user' now has the type `User` (not `User | null`)
    *   Effect.andThen((user) => user.name)
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Filtering
@@ -10800,6 +11141,7 @@ export const filterOrFail: {
    * Let's explore this concept through an example:
    *
    * @example
+   * ```ts
    * import { Effect, pipe } from "effect"
    *
    * // Define a user interface
@@ -10820,6 +11162,7 @@ export const filterOrFail: {
    *   // 'user' now has the type `User` (not `User | null`)
    *   Effect.andThen((user) => user.name)
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Filtering
@@ -10836,6 +11179,7 @@ export const filterOrFail: {
    * Let's explore this concept through an example:
    *
    * @example
+   * ```ts
    * import { Effect, pipe } from "effect"
    *
    * // Define a user interface
@@ -10856,6 +11200,7 @@ export const filterOrFail: {
    *   // 'user' now has the type `User` (not `User | null`)
    *   Effect.andThen((user) => user.name)
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Filtering
@@ -10875,6 +11220,7 @@ export const filterOrFail: {
    * Let's explore this concept through an example:
    *
    * @example
+   * ```ts
    * import { Effect, pipe } from "effect"
    *
    * // Define a user interface
@@ -10895,6 +11241,7 @@ export const filterOrFail: {
    *   // 'user' now has the type `User` (not `User | null`)
    *   Effect.andThen((user) => user.name)
    * )
+   * ```
    *
    * @since 2.0.0
    * @category Filtering
@@ -10990,6 +11337,7 @@ export const unlessEffect: {
  * @see {@link unless} for a version that executes the effect when the condition is `false`.
  *
  * @example
+ * ```ts
  * // Title: Conditional Effect Execution
  * import { Effect, Option } from "effect"
  *
@@ -11015,6 +11363,7 @@ export const unlessEffect: {
  * //   _id: "Option",
  * //   _tag: "None"
  * // }
+ * ```
  *
  * @since 2.0.0
  * @category Conditional Operators
@@ -11036,6 +11385,7 @@ export const when: {
    * @see {@link unless} for a version that executes the effect when the condition is `false`.
    *
    * @example
+   * ```ts
    * // Title: Conditional Effect Execution
    * import { Effect, Option } from "effect"
    *
@@ -11061,6 +11411,7 @@ export const when: {
    * //   _id: "Option",
    * //   _tag: "None"
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category Conditional Operators
@@ -11082,6 +11433,7 @@ export const when: {
    * @see {@link unless} for a version that executes the effect when the condition is `false`.
    *
    * @example
+   * ```ts
    * // Title: Conditional Effect Execution
    * import { Effect, Option } from "effect"
    *
@@ -11107,6 +11459,7 @@ export const when: {
    * //   _id: "Option",
    * //   _tag: "None"
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category Conditional Operators
@@ -11132,6 +11485,7 @@ export const when: {
  * @see {@link unlessEffect} for a version that executes the effect when the condition is `false`.
  *
  * @example
+ * ```ts
  * // Title: Using an Effect as a Condition
  * import { Effect, Random } from "effect"
  *
@@ -11142,6 +11496,7 @@ export const when: {
  * console.log(Effect.runSync(randomIntOption))
  * // Example Output:
  * // { _id: 'Option', _tag: 'Some', value: 8609104974198840 }
+ * ```
  *
  * @since 2.0.0
  * @category Conditional Operators
@@ -11165,6 +11520,7 @@ export const whenEffect: {
    * @see {@link unlessEffect} for a version that executes the effect when the condition is `false`.
    *
    * @example
+   * ```ts
    * // Title: Using an Effect as a Condition
    * import { Effect, Random } from "effect"
    *
@@ -11175,6 +11531,7 @@ export const whenEffect: {
    * console.log(Effect.runSync(randomIntOption))
    * // Example Output:
    * // { _id: 'Option', _tag: 'Some', value: 8609104974198840 }
+   * ```
    *
    * @since 2.0.0
    * @category Conditional Operators
@@ -11200,6 +11557,7 @@ export const whenEffect: {
    * @see {@link unlessEffect} for a version that executes the effect when the condition is `false`.
    *
    * @example
+   * ```ts
    * // Title: Using an Effect as a Condition
    * import { Effect, Random } from "effect"
    *
@@ -11210,6 +11568,7 @@ export const whenEffect: {
    * console.log(Effect.runSync(randomIntOption))
    * // Example Output:
    * // { _id: 'Option', _tag: 'Some', value: 8609104974198840 }
+   * ```
    *
    * @since 2.0.0
    * @category Conditional Operators
@@ -11303,6 +11662,7 @@ export const whenRef: {
  * changing the original one.
  *
  * @example
+ * ```ts
  * import { pipe, Effect } from "effect"
  *
  * // Function to apply a discount safely to a transaction amount
@@ -11325,6 +11685,7 @@ export const whenRef: {
  *
  * Effect.runPromise(finalAmount).then(console.log)
  * // Output: 95
+ * ```
  *
  * @since 2.0.0
  * @category sequencing
@@ -11360,6 +11721,7 @@ export const flatMap: {
    * changing the original one.
    *
    * @example
+   * ```ts
    * import { pipe, Effect } from "effect"
    *
    * // Function to apply a discount safely to a transaction amount
@@ -11382,6 +11744,7 @@ export const flatMap: {
    *
    * Effect.runPromise(finalAmount).then(console.log)
    * // Output: 95
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -11417,6 +11780,7 @@ export const flatMap: {
    * changing the original one.
    *
    * @example
+   * ```ts
    * import { pipe, Effect } from "effect"
    *
    * // Function to apply a discount safely to a transaction amount
@@ -11439,6 +11803,7 @@ export const flatMap: {
    *
    * Effect.runPromise(finalAmount).then(console.log)
    * // Output: 95
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -11480,6 +11845,7 @@ export const flatMap: {
  * treating them as effects.
  *
  * @example
+ * ```ts
  * // Title: Applying a Discount Based on Fetched Amount
  * import { pipe, Effect } from "effect"
  *
@@ -11514,6 +11880,7 @@ export const flatMap: {
  *
  * Effect.runPromise(result2).then(console.log)
  * // Output: 190
+ * ```
  *
  * @since 2.0.0
  * @category sequencing
@@ -11553,6 +11920,7 @@ export const andThen: {
    * treating them as effects.
    *
    * @example
+   * ```ts
    * // Title: Applying a Discount Based on Fetched Amount
    * import { pipe, Effect } from "effect"
    *
@@ -11587,6 +11955,7 @@ export const andThen: {
    *
    * Effect.runPromise(result2).then(console.log)
    * // Output: 190
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -11630,6 +11999,7 @@ export const andThen: {
    * treating them as effects.
    *
    * @example
+   * ```ts
    * // Title: Applying a Discount Based on Fetched Amount
    * import { pipe, Effect } from "effect"
    *
@@ -11664,6 +12034,7 @@ export const andThen: {
    *
    * Effect.runPromise(result2).then(console.log)
    * // Output: 190
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -11707,6 +12078,7 @@ export const andThen: {
    * treating them as effects.
    *
    * @example
+   * ```ts
    * // Title: Applying a Discount Based on Fetched Amount
    * import { pipe, Effect } from "effect"
    *
@@ -11741,6 +12113,7 @@ export const andThen: {
    *
    * Effect.runPromise(result2).then(console.log)
    * // Output: 190
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -11785,6 +12158,7 @@ export const andThen: {
    * treating them as effects.
    *
    * @example
+   * ```ts
    * // Title: Applying a Discount Based on Fetched Amount
    * import { pipe, Effect } from "effect"
    *
@@ -11819,6 +12193,7 @@ export const andThen: {
    *
    * Effect.runPromise(result2).then(console.log)
    * // Output: 190
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -12025,6 +12400,7 @@ export const summarized: {
  * will fail too.
  *
  * @example
+ * ```ts
  * // Title: Logging a step in a pipeline
  * import { Console, Effect, pipe } from "effect"
  *
@@ -12052,6 +12428,7 @@ export const summarized: {
  * // Output:
  * // Apply a discount to: 100
  * // 95
+ * ```
  *
  * @since 2.0.0
  * @category sequencing
@@ -12075,6 +12452,7 @@ export const tap: {
    * will fail too.
    *
    * @example
+   * ```ts
    * // Title: Logging a step in a pipeline
    * import { Console, Effect, pipe } from "effect"
    *
@@ -12102,6 +12480,7 @@ export const tap: {
    * // Output:
    * // Apply a discount to: 100
    * // 95
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -12129,6 +12508,7 @@ export const tap: {
    * will fail too.
    *
    * @example
+   * ```ts
    * // Title: Logging a step in a pipeline
    * import { Console, Effect, pipe } from "effect"
    *
@@ -12156,6 +12536,7 @@ export const tap: {
    * // Output:
    * // Apply a discount to: 100
    * // 95
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -12181,6 +12562,7 @@ export const tap: {
    * will fail too.
    *
    * @example
+   * ```ts
    * // Title: Logging a step in a pipeline
    * import { Console, Effect, pipe } from "effect"
    *
@@ -12208,6 +12590,7 @@ export const tap: {
    * // Output:
    * // Apply a discount to: 100
    * // 95
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -12235,6 +12618,7 @@ export const tap: {
    * will fail too.
    *
    * @example
+   * ```ts
    * // Title: Logging a step in a pipeline
    * import { Console, Effect, pipe } from "effect"
    *
@@ -12262,6 +12646,7 @@ export const tap: {
    * // Output:
    * // Apply a discount to: 100
    * // 95
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -12287,6 +12672,7 @@ export const tap: {
    * will fail too.
    *
    * @example
+   * ```ts
    * // Title: Logging a step in a pipeline
    * import { Console, Effect, pipe } from "effect"
    *
@@ -12314,6 +12700,7 @@ export const tap: {
    * // Output:
    * // Apply a discount to: 100
    * // 95
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -12342,6 +12729,7 @@ export const tap: {
    * will fail too.
    *
    * @example
+   * ```ts
    * // Title: Logging a step in a pipeline
    * import { Console, Effect, pipe } from "effect"
    *
@@ -12369,6 +12757,7 @@ export const tap: {
    * // Output:
    * // Apply a discount to: 100
    * // 95
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -12396,6 +12785,7 @@ export const tap: {
    * will fail too.
    *
    * @example
+   * ```ts
    * // Title: Logging a step in a pipeline
    * import { Console, Effect, pipe } from "effect"
    *
@@ -12423,6 +12813,7 @@ export const tap: {
    * // Output:
    * // Apply a discount to: 100
    * // 95
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -12451,6 +12842,7 @@ export const tap: {
    * will fail too.
    *
    * @example
+   * ```ts
    * // Title: Logging a step in a pipeline
    * import { Console, Effect, pipe } from "effect"
    *
@@ -12478,6 +12870,7 @@ export const tap: {
    * // Output:
    * // Apply a discount to: 100
    * // 95
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -12501,6 +12894,7 @@ export const tap: {
  * altering the result.
  *
  * @example
+ * ```ts
  * import { Effect, Random, Console } from "effect"
  *
  * // Simulate a task that might fail
@@ -12520,6 +12914,7 @@ export const tap: {
  * Effect.runFork(tapping)
  * // Example Output:
  * // failure: random number is negative
+ * ```
  *
  * @since 2.0.0
  * @category sequencing
@@ -12537,6 +12932,7 @@ export const tapBoth: {
    * altering the result.
    *
    * @example
+   * ```ts
    * import { Effect, Random, Console } from "effect"
    *
    * // Simulate a task that might fail
@@ -12556,6 +12952,7 @@ export const tapBoth: {
    * Effect.runFork(tapping)
    * // Example Output:
    * // failure: random number is negative
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -12578,6 +12975,7 @@ export const tapBoth: {
    * altering the result.
    *
    * @example
+   * ```ts
    * import { Effect, Random, Console } from "effect"
    *
    * // Simulate a task that might fail
@@ -12597,6 +12995,7 @@ export const tapBoth: {
    * Effect.runFork(tapping)
    * // Example Output:
    * // failure: random number is negative
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -12621,6 +13020,7 @@ export const tapBoth: {
  * severe errors.
  *
  * @example
+ * ```ts
  * import { Effect, Console } from "effect"
  *
  * // Simulate a task that fails with a recoverable error
@@ -12648,6 +13048,7 @@ export const tapBoth: {
  * // Output:
  * // defect: RuntimeException: Something went wrong
  * //   ... stack trace ...
+ * ```
  *
  * @since 2.0.0
  * @category sequencing
@@ -12664,6 +13065,7 @@ export const tapDefect: {
    * severe errors.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * // Simulate a task that fails with a recoverable error
@@ -12691,6 +13093,7 @@ export const tapDefect: {
    * // Output:
    * // defect: RuntimeException: Something went wrong
    * //   ... stack trace ...
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -12709,6 +13112,7 @@ export const tapDefect: {
    * severe errors.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * // Simulate a task that fails with a recoverable error
@@ -12736,6 +13140,7 @@ export const tapDefect: {
    * // Output:
    * // defect: RuntimeException: Something went wrong
    * //   ... stack trace ...
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -12756,6 +13161,7 @@ export const tapDefect: {
  * while the operation you provide can inspect or act on it.
  *
  * @example
+ * ```ts
  * import { Effect, Console } from "effect"
  *
  * // Simulate a task that fails with an error
@@ -12769,6 +13175,7 @@ export const tapDefect: {
  * Effect.runFork(tapping)
  * // Output:
  * // expected error: NetworkError
+ * ```
  *
  * @since 2.0.0
  * @category sequencing
@@ -12784,6 +13191,7 @@ export const tapError: {
    * while the operation you provide can inspect or act on it.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * // Simulate a task that fails with an error
@@ -12797,6 +13205,7 @@ export const tapError: {
    * Effect.runFork(tapping)
    * // Output:
    * // expected error: NetworkError
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -12812,6 +13221,7 @@ export const tapError: {
    * while the operation you provide can inspect or act on it.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * // Simulate a task that fails with an error
@@ -12825,6 +13235,7 @@ export const tapError: {
    * Effect.runFork(tapping)
    * // Output:
    * // expected error: NetworkError
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -12842,6 +13253,7 @@ export const tapError: {
  * without modifying the error or the overall result of the effect.
  *
  * @example
+ * ```ts
  * import { Effect, Console } from "effect"
  *
  * class NetworkError {
@@ -12866,6 +13278,7 @@ export const tapError: {
  * Effect.runFork(tapping)
  * // Output:
  * // expected error: 504
+ * ```
  *
  * @since 2.0.0
  * @category sequencing
@@ -12881,6 +13294,7 @@ export const tapErrorTag: {
    * without modifying the error or the overall result of the effect.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * class NetworkError {
@@ -12905,6 +13319,7 @@ export const tapErrorTag: {
    * Effect.runFork(tapping)
    * // Output:
    * // expected error: 504
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -12923,6 +13338,7 @@ export const tapErrorTag: {
    * without modifying the error or the overall result of the effect.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * class NetworkError {
@@ -12947,6 +13363,7 @@ export const tapErrorTag: {
    * Effect.runFork(tapping)
    * // Output:
    * // expected error: 504
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -12968,6 +13385,7 @@ export const tapErrorTag: {
  * altering the error or the overall result of the effect.
  *
  * @example
+ * ```ts
  * import { Effect, Console } from "effect"
  *
  * // Create a task that fails with a NetworkError
@@ -12994,6 +13412,7 @@ export const tapErrorTag: {
  * // Output:
  * // error cause: RuntimeException: Something went wrong
  * //   ... stack trace ...
+ * ```
  *
  * @since 2.0.0
  * @category sequencing
@@ -13009,6 +13428,7 @@ export const tapErrorCause: {
    * altering the error or the overall result of the effect.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * // Create a task that fails with a NetworkError
@@ -13035,6 +13455,7 @@ export const tapErrorCause: {
    * // Output:
    * // error cause: RuntimeException: Something went wrong
    * //   ... stack trace ...
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -13052,6 +13473,7 @@ export const tapErrorCause: {
    * altering the error or the overall result of the effect.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * // Create a task that fails with a NetworkError
@@ -13078,6 +13500,7 @@ export const tapErrorCause: {
    * // Output:
    * // error cause: RuntimeException: Something went wrong
    * //   ... stack trace ...
+   * ```
    *
    * @since 2.0.0
    * @category sequencing
@@ -13115,6 +13538,7 @@ export const forever: <A, E, R>(self: Effect<A, E, R>) => Effect<never, E, R> =
  * ```
  *
  * @example
+ * ```ts
  * // Title: Effectful Iteration
  * import { Effect } from "effect"
  *
@@ -13131,6 +13555,7 @@ export const forever: <A, E, R>(self: Effect<A, E, R>) => Effect<never, E, R> =
  *
  * Effect.runPromise(result).then(console.log)
  * // Output: 6
+ * ```
  *
  * @since 2.0.0
  * @category Looping
@@ -13155,6 +13580,7 @@ export const iterate: {
    * ```
    *
    * @example
+   * ```ts
    * // Title: Effectful Iteration
    * import { Effect } from "effect"
    *
@@ -13171,6 +13597,7 @@ export const iterate: {
    *
    * Effect.runPromise(result).then(console.log)
    * // Output: 6
+   * ```
    *
    * @since 2.0.0
    * @category Looping
@@ -13201,6 +13628,7 @@ export const iterate: {
    * ```
    *
    * @example
+   * ```ts
    * // Title: Effectful Iteration
    * import { Effect } from "effect"
    *
@@ -13217,6 +13645,7 @@ export const iterate: {
    *
    * Effect.runPromise(result).then(console.log)
    * // Output: 6
+   * ```
    *
    * @since 2.0.0
    * @category Looping
@@ -13257,6 +13686,7 @@ export const iterate: {
  * discarded, and the final result will be `void`.
  *
  * @example
+ * ```ts
  * // Title: Looping with Collected Results
  * import { Effect } from "effect"
  *
@@ -13276,6 +13706,7 @@ export const iterate: {
  *
  * Effect.runPromise(result).then(console.log)
  * // Output: [1, 2, 3, 4, 5]
+ * ```
  *
  * @example
  * // Title: Loop with Discarded Results
@@ -13336,6 +13767,7 @@ export const loop: {
    * discarded, and the final result will be `void`.
    *
    * @example
+   * ```ts
    * // Title: Looping with Collected Results
    * import { Effect } from "effect"
    *
@@ -13355,6 +13787,7 @@ export const loop: {
    *
    * Effect.runPromise(result).then(console.log)
    * // Output: [1, 2, 3, 4, 5]
+   * ```
    *
    * @example
    * // Title: Loop with Discarded Results
@@ -13423,6 +13856,7 @@ export const loop: {
    * discarded, and the final result will be `void`.
    *
    * @example
+   * ```ts
    * // Title: Looping with Collected Results
    * import { Effect } from "effect"
    *
@@ -13442,6 +13876,7 @@ export const loop: {
    *
    * Effect.runPromise(result).then(console.log)
    * // Output: [1, 2, 3, 4, 5]
+   * ```
    *
    * @example
    * // Title: Loop with Discarded Results
@@ -13510,6 +13945,7 @@ export const loop: {
    * discarded, and the final result will be `void`.
    *
    * @example
+   * ```ts
    * // Title: Looping with Collected Results
    * import { Effect } from "effect"
    *
@@ -13529,6 +13965,7 @@ export const loop: {
    *
    * Effect.runPromise(result).then(console.log)
    * // Output: [1, 2, 3, 4, 5]
+   * ```
    *
    * @example
    * // Title: Loop with Discarded Results
@@ -13597,6 +14034,7 @@ export const loop: {
    * discarded, and the final result will be `void`.
    *
    * @example
+   * ```ts
    * // Title: Looping with Collected Results
    * import { Effect } from "effect"
    *
@@ -13616,6 +14054,7 @@ export const loop: {
    *
    * Effect.runPromise(result).then(console.log)
    * // Output: [1, 2, 3, 4, 5]
+   * ```
    *
    * @example
    * // Title: Loop with Discarded Results
@@ -13701,6 +14140,7 @@ export declare namespace Repeat {
  * an additional time.
  *
  * @example
+ * ```ts
  * // Success Example
  * import { Effect, Schedule, Console } from "effect"
  *
@@ -13709,6 +14149,7 @@ export declare namespace Repeat {
  * const program = Effect.repeat(action, policy)
  *
  * Effect.runPromise(program).then((n) => console.log(`repetitions: ${n}`))
+ * ```
  *
  * @example
  * // Failure Example
@@ -13745,6 +14186,7 @@ export const repeat: {
    * an additional time.
    *
    * @example
+   * ```ts
    * // Success Example
    * import { Effect, Schedule, Console } from "effect"
    *
@@ -13753,6 +14195,7 @@ export const repeat: {
    * const program = Effect.repeat(action, policy)
    *
    * Effect.runPromise(program).then((n) => console.log(`repetitions: ${n}`))
+   * ```
    *
    * @example
    * // Failure Example
@@ -13791,6 +14234,7 @@ export const repeat: {
    * an additional time.
    *
    * @example
+   * ```ts
    * // Success Example
    * import { Effect, Schedule, Console } from "effect"
    *
@@ -13799,6 +14243,7 @@ export const repeat: {
    * const program = Effect.repeat(action, policy)
    *
    * Effect.runPromise(program).then((n) => console.log(`repetitions: ${n}`))
+   * ```
    *
    * @example
    * // Failure Example
@@ -13835,6 +14280,7 @@ export const repeat: {
    * an additional time.
    *
    * @example
+   * ```ts
    * // Success Example
    * import { Effect, Schedule, Console } from "effect"
    *
@@ -13843,6 +14289,7 @@ export const repeat: {
    * const program = Effect.repeat(action, policy)
    *
    * Effect.runPromise(program).then((n) => console.log(`repetitions: ${n}`))
+   * ```
    *
    * @example
    * // Failure Example
@@ -13879,6 +14326,7 @@ export const repeat: {
    * an additional time.
    *
    * @example
+   * ```ts
    * // Success Example
    * import { Effect, Schedule, Console } from "effect"
    *
@@ -13887,6 +14335,7 @@ export const repeat: {
    * const program = Effect.repeat(action, policy)
    *
    * Effect.runPromise(program).then((n) => console.log(`repetitions: ${n}`))
+   * ```
    *
    * @example
    * // Failure Example
@@ -13924,12 +14373,14 @@ export const repeat: {
  * initially and then repeats it one additional time if it succeeds.
  *
  * @example
+ * ```ts
  * import { Effect, Console } from "effect"
  *
  * const action = Console.log("success")
  * const program = Effect.repeatN(action, 2)
  *
  * Effect.runPromise(program)
+ * ```
  *
  * @since 2.0.0
  * @category repetition / recursion
@@ -13942,12 +14393,14 @@ export const repeatN: {
    * initially and then repeats it one additional time if it succeeds.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * const action = Console.log("success")
    * const program = Effect.repeatN(action, 2)
    *
    * Effect.runPromise(program)
+   * ```
    *
    * @since 2.0.0
    * @category repetition / recursion
@@ -13960,12 +14413,14 @@ export const repeatN: {
    * initially and then repeats it one additional time if it succeeds.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * const action = Console.log("success")
    * const program = Effect.repeatN(action, 2)
    *
    * Effect.runPromise(program)
+   * ```
    *
    * @since 2.0.0
    * @category repetition / recursion
@@ -13982,6 +14437,7 @@ export const repeatN: {
  * initially and then repeats it an additional time if it succeeds.
  *
  * @example
+ * ```ts
  * import { Effect, Schedule } from "effect"
  *
  * let count = 0
@@ -14011,6 +14467,7 @@ export const repeatN: {
  * )
  *
  * Effect.runPromise(program).then((n) => console.log(`repetitions: ${n}`))
+ * ```
  *
  * @since 2.0.0
  * @category repetition / recursion
@@ -14025,6 +14482,7 @@ export const repeatOrElse: {
    * initially and then repeats it an additional time if it succeeds.
    *
    * @example
+   * ```ts
    * import { Effect, Schedule } from "effect"
    *
    * let count = 0
@@ -14054,6 +14512,7 @@ export const repeatOrElse: {
    * )
    *
    * Effect.runPromise(program).then((n) => console.log(`repetitions: ${n}`))
+   * ```
    *
    * @since 2.0.0
    * @category repetition / recursion
@@ -14071,6 +14530,7 @@ export const repeatOrElse: {
    * initially and then repeats it an additional time if it succeeds.
    *
    * @example
+   * ```ts
    * import { Effect, Schedule } from "effect"
    *
    * let count = 0
@@ -14100,6 +14560,7 @@ export const repeatOrElse: {
    * )
    *
    * Effect.runPromise(program).then((n) => console.log(`repetitions: ${n}`))
+   * ```
    *
    * @since 2.0.0
    * @category repetition / recursion
@@ -14362,6 +14823,7 @@ export const isSuccess: <A, E, R>(self: Effect<A, E, R>) => Effect<boolean, neve
  * @see {@link matchEffect} if you need to perform side effects in the handlers.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * const success: Effect.Effect<number, Error> = Effect.succeed(42)
@@ -14387,6 +14849,7 @@ export const isSuccess: <A, E, R>(self: Effect<A, E, R>) => Effect<boolean, neve
  * // Run and log the result of the failed effect
  * Effect.runPromise(program2).then(console.log)
  * // Output: "failure: Uh oh!"
+ * ```
  *
  * @since 2.0.0
  * @category getters & folding
@@ -14405,6 +14868,7 @@ export const match: {
    * @see {@link matchEffect} if you need to perform side effects in the handlers.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const success: Effect.Effect<number, Error> = Effect.succeed(42)
@@ -14430,6 +14894,7 @@ export const match: {
    * // Run and log the result of the failed effect
    * Effect.runPromise(program2).then(console.log)
    * // Output: "failure: Uh oh!"
+   * ```
    *
    * @since 2.0.0
    * @category getters & folding
@@ -14453,6 +14918,7 @@ export const match: {
    * @see {@link matchEffect} if you need to perform side effects in the handlers.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const success: Effect.Effect<number, Error> = Effect.succeed(42)
@@ -14478,6 +14944,7 @@ export const match: {
    * // Run and log the result of the failed effect
    * Effect.runPromise(program2).then(console.log)
    * // Output: "failure: Uh oh!"
+   * ```
    *
    * @since 2.0.0
    * @category getters & folding
@@ -14566,6 +15033,7 @@ export const matchCause: {
  * @see {@link matchEffect} if you don't need to handle the cause of the failure.
  *
  * @example
+ * ```ts
  * import { Effect, Console } from "effect"
  *
  * const task: Effect.Effect<number, Error> = Effect.die("Uh oh!")
@@ -14593,6 +15061,7 @@ export const matchCause: {
  *
  * Effect.runSync(program)
  * // Output: "Die: Uh oh!"
+ * ```
  *
  * @since 2.0.0
  * @category getters & folding
@@ -14612,6 +15081,7 @@ export const matchCauseEffect: {
    * @see {@link matchEffect} if you don't need to handle the cause of the failure.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * const task: Effect.Effect<number, Error> = Effect.die("Uh oh!")
@@ -14639,6 +15109,7 @@ export const matchCauseEffect: {
    *
    * Effect.runSync(program)
    * // Output: "Die: Uh oh!"
+   * ```
    *
    * @since 2.0.0
    * @category getters & folding
@@ -14663,6 +15134,7 @@ export const matchCauseEffect: {
    * @see {@link matchEffect} if you don't need to handle the cause of the failure.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * const task: Effect.Effect<number, Error> = Effect.die("Uh oh!")
@@ -14690,6 +15162,7 @@ export const matchCauseEffect: {
    *
    * Effect.runSync(program)
    * // Output: "Die: Uh oh!"
+   * ```
    *
    * @since 2.0.0
    * @category getters & folding
@@ -14771,6 +15244,7 @@ export const matchEffect: {
  * To adjust the log level, use the `Logger.withMinimumLogLevel` function.
  *
  * @example
+ * ```ts
  * import { Cause, Effect } from "effect"
  *
  * const program = Effect.log(
@@ -14784,6 +15258,7 @@ export const matchEffect: {
  * // Output:
  * // timestamp=... level=INFO fiber=#0 message=message1 message=message2 cause="Error: Oh no!
  * // Error: Oh uh!"
+ * ```
  *
  * @since 2.0.0
  * @category Logging
@@ -14817,12 +15292,14 @@ export const logTrace: (...message: ReadonlyArray<any>) => Effect<void, never, n
  * `Logger.withMinimumLogLevel` and set the log level to `LogLevel.Debug`.
  *
  * @example
+ * ```ts
  * import { Effect, Logger, LogLevel } from "effect"
  *
  * const program = Effect.logDebug("message1").pipe(Logger.withMinimumLogLevel(LogLevel.Debug))
  *
  * // Effect.runFork(program)
  * // timestamp=... level=DEBUG fiber=#0 message=message1
+ * ```
  *
  * @since 2.0.0
  * @category Logging
@@ -14867,6 +15344,7 @@ export const logFatal: (...message: ReadonlyArray<any>) => Effect<void, never, n
  * time-sensitive processes.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * const program = Effect.gen(function*() {
@@ -14876,6 +15354,7 @@ export const logFatal: (...message: ReadonlyArray<any>) => Effect<void, never, n
  *
  * // Effect.runFork(program)
  * // timestamp=... level=INFO fiber=#0 message="The job is finished!" myspan=1011ms
+ * ```
  *
  * @since 2.0.0
  * @category Logging
@@ -14887,6 +15366,7 @@ export const withLogSpan: {
    * time-sensitive processes.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const program = Effect.gen(function*() {
@@ -14896,6 +15376,7 @@ export const withLogSpan: {
    *
    * // Effect.runFork(program)
    * // timestamp=... level=INFO fiber=#0 message="The job is finished!" myspan=1011ms
+   * ```
    *
    * @since 2.0.0
    * @category Logging
@@ -14907,6 +15388,7 @@ export const withLogSpan: {
    * time-sensitive processes.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const program = Effect.gen(function*() {
@@ -14916,6 +15398,7 @@ export const withLogSpan: {
    *
    * // Effect.runFork(program)
    * // timestamp=... level=INFO fiber=#0 message="The job is finished!" myspan=1011ms
+   * ```
    *
    * @since 2.0.0
    * @category Logging
@@ -14929,6 +15412,7 @@ export const withLogSpan: {
  * to log messages, making them more informative and easier to trace.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * const program = Effect.gen(function*() {
@@ -14939,6 +15423,7 @@ export const withLogSpan: {
  * // Effect.runFork(program)
  * // timestamp=... level=INFO fiber=#0 message=message1 key=value
  * // timestamp=... level=INFO fiber=#0 message=message2 key=value
+ * ```
  *
  * @since 2.0.0
  * @category Logging
@@ -14950,6 +15435,7 @@ export const annotateLogs: {
    * to log messages, making them more informative and easier to trace.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const program = Effect.gen(function*() {
@@ -14960,6 +15446,7 @@ export const annotateLogs: {
    * // Effect.runFork(program)
    * // timestamp=... level=INFO fiber=#0 message=message1 key=value
    * // timestamp=... level=INFO fiber=#0 message=message2 key=value
+   * ```
    *
    * @since 2.0.0
    * @category Logging
@@ -14971,6 +15458,7 @@ export const annotateLogs: {
    * to log messages, making them more informative and easier to trace.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const program = Effect.gen(function*() {
@@ -14981,6 +15469,7 @@ export const annotateLogs: {
    * // Effect.runFork(program)
    * // timestamp=... level=INFO fiber=#0 message=message1 key=value
    * // timestamp=... level=INFO fiber=#0 message=message2 key=value
+   * ```
    *
    * @since 2.0.0
    * @category Logging
@@ -14992,6 +15481,7 @@ export const annotateLogs: {
    * to log messages, making them more informative and easier to trace.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const program = Effect.gen(function*() {
@@ -15002,6 +15492,7 @@ export const annotateLogs: {
    * // Effect.runFork(program)
    * // timestamp=... level=INFO fiber=#0 message=message1 key=value
    * // timestamp=... level=INFO fiber=#0 message=message2 key=value
+   * ```
    *
    * @since 2.0.0
    * @category Logging
@@ -15013,6 +15504,7 @@ export const annotateLogs: {
    * to log messages, making them more informative and easier to trace.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const program = Effect.gen(function*() {
@@ -15023,6 +15515,7 @@ export const annotateLogs: {
    * // Effect.runFork(program)
    * // timestamp=... level=INFO fiber=#0 message=message1 key=value
    * // timestamp=... level=INFO fiber=#0 message=message2 key=value
+   * ```
    *
    * @since 2.0.0
    * @category Logging
@@ -15037,6 +15530,7 @@ export const annotateLogs: {
  * defined `Scope`, making it easier to manage context-specific logging.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * const program = Effect.gen(function*() {
@@ -15051,6 +15545,7 @@ export const annotateLogs: {
  * // timestamp=... level=INFO fiber=#0 message=message1 key=value
  * // timestamp=... level=INFO fiber=#0 message=message2 key=value
  * // timestamp=... level=INFO fiber=#0 message="no annotations again"
+ * ```
  *
  * @since 3.1.0
  * @category Logging
@@ -15063,6 +15558,7 @@ export const annotateLogsScoped: {
    * defined `Scope`, making it easier to manage context-specific logging.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const program = Effect.gen(function*() {
@@ -15077,6 +15573,7 @@ export const annotateLogsScoped: {
    * // timestamp=... level=INFO fiber=#0 message=message1 key=value
    * // timestamp=... level=INFO fiber=#0 message=message2 key=value
    * // timestamp=... level=INFO fiber=#0 message="no annotations again"
+   * ```
    *
    * @since 3.1.0
    * @category Logging
@@ -15089,6 +15586,7 @@ export const annotateLogsScoped: {
    * defined `Scope`, making it easier to manage context-specific logging.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const program = Effect.gen(function*() {
@@ -15103,6 +15601,7 @@ export const annotateLogsScoped: {
    * // timestamp=... level=INFO fiber=#0 message=message1 key=value
    * // timestamp=... level=INFO fiber=#0 message=message2 key=value
    * // timestamp=... level=INFO fiber=#0 message="no annotations again"
+   * ```
    *
    * @since 3.1.0
    * @category Logging
@@ -15157,6 +15656,7 @@ export const withUnhandledErrorLogLevel: {
  * @see {@link orDieWith} if you need to customize the error.
  *
  * @example
+ * ```ts
  * // Title: Propagating an Error as a Defect
  * import { Effect } from "effect"
  *
@@ -15173,6 +15673,7 @@ export const withUnhandledErrorLogLevel: {
  * // Output:
  * // (FiberFailure) Error: Cannot divide by zero
  * //   ...stack trace...
+ * ```
  *
  * @since 2.0.0
  * @category Converting Failures to Defects
@@ -15197,6 +15698,7 @@ export const orDie: <A, E, R>(self: Effect<A, E, R>) => Effect<A, never, R> = co
  * @see {@link orDie} if you don't need to customize the error.
  *
  * @example
+ * ```ts
  * // Title: Customizing Defect
  * import { Effect } from "effect"
  *
@@ -15216,6 +15718,7 @@ export const orDie: <A, E, R>(self: Effect<A, E, R>) => Effect<A, never, R> = co
  * // Output:
  * // (FiberFailure) Error: defect: Cannot divide by zero
  * //   ...stack trace...
+ * ```
  *
  * @since 2.0.0
  * @category Converting Failures to Defects
@@ -15239,6 +15742,7 @@ export const orDieWith: {
    * @see {@link orDie} if you don't need to customize the error.
    *
    * @example
+   * ```ts
    * // Title: Customizing Defect
    * import { Effect } from "effect"
    *
@@ -15258,6 +15762,7 @@ export const orDieWith: {
    * // Output:
    * // (FiberFailure) Error: defect: Cannot divide by zero
    * //   ...stack trace...
+   * ```
    *
    * @since 2.0.0
    * @category Converting Failures to Defects
@@ -15281,6 +15786,7 @@ export const orDieWith: {
    * @see {@link orDie} if you don't need to customize the error.
    *
    * @example
+   * ```ts
    * // Title: Customizing Defect
    * import { Effect } from "effect"
    *
@@ -15300,6 +15806,7 @@ export const orDieWith: {
    * // Output:
    * // (FiberFailure) Error: defect: Cannot divide by zero
    * //   ...stack trace...
+   * ```
    *
    * @since 2.0.0
    * @category Converting Failures to Defects
@@ -15318,6 +15825,7 @@ export const orDieWith: {
  * @see {@link catchAll} if you need to access the error in the fallback effect.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * const success = Effect.succeed("success")
@@ -15333,6 +15841,7 @@ export const orDieWith: {
  * const program2 = Effect.orElse(failure, () => fallback)
  * console.log(Effect.runSync(program2))
  * // Output: "fallback"
+ * ```
  *
  * @since 2.0.0
  * @category Fallback
@@ -15349,6 +15858,7 @@ export const orElse: {
    * @see {@link catchAll} if you need to access the error in the fallback effect.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const success = Effect.succeed("success")
@@ -15364,6 +15874,7 @@ export const orElse: {
    * const program2 = Effect.orElse(failure, () => fallback)
    * console.log(Effect.runSync(program2))
    * // Output: "fallback"
+   * ```
    *
    * @since 2.0.0
    * @category Fallback
@@ -15380,6 +15891,7 @@ export const orElse: {
    * @see {@link catchAll} if you need to access the error in the fallback effect.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const success = Effect.succeed("success")
@@ -15395,6 +15907,7 @@ export const orElse: {
    * const program2 = Effect.orElse(failure, () => fallback)
    * console.log(Effect.runSync(program2))
    * // Output: "fallback"
+   * ```
    *
    * @since 2.0.0
    * @category Fallback
@@ -15415,6 +15928,7 @@ export const orElse: {
  * @see {@link mapError} if you need to access the error to transform it.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * const validate = (age: number): Effect.Effect<number, string> => {
@@ -15436,6 +15950,7 @@ export const orElse: {
  * //   _tag: 'Failure',
  * //   cause: { _id: 'Cause', _tag: 'Fail', failure: 'invalid age' }
  * // }
+ * ```
  *
  * @since 2.0.0
  * @category Fallback
@@ -15454,6 +15969,7 @@ export const orElseFail: {
    * @see {@link mapError} if you need to access the error to transform it.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const validate = (age: number): Effect.Effect<number, string> => {
@@ -15475,6 +15991,7 @@ export const orElseFail: {
    * //   _tag: 'Failure',
    * //   cause: { _id: 'Cause', _tag: 'Fail', failure: 'invalid age' }
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category Fallback
@@ -15493,6 +16010,7 @@ export const orElseFail: {
    * @see {@link mapError} if you need to access the error to transform it.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const validate = (age: number): Effect.Effect<number, string> => {
@@ -15514,6 +16032,7 @@ export const orElseFail: {
    * //   _tag: 'Failure',
    * //   cause: { _id: 'Cause', _tag: 'Fail', failure: 'invalid age' }
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category Fallback
@@ -15539,6 +16058,7 @@ export const orElseFail: {
  * already succeeds, it will remain unchanged.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * const validate = (age: number): Effect.Effect<number, string> => {
@@ -15556,6 +16076,7 @@ export const orElseFail: {
  * console.log(Effect.runSyncExit(program))
  * // Output:
  * // { _id: 'Exit', _tag: 'Success', value: 18 }
+ * ```
  *
  * @since 2.0.0
  * @category Fallback
@@ -15579,6 +16100,7 @@ export const orElseSucceed: {
    * already succeeds, it will remain unchanged.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const validate = (age: number): Effect.Effect<number, string> => {
@@ -15596,6 +16118,7 @@ export const orElseSucceed: {
    * console.log(Effect.runSyncExit(program))
    * // Output:
    * // { _id: 'Exit', _tag: 'Success', value: 18 }
+   * ```
    *
    * @since 2.0.0
    * @category Fallback
@@ -15619,6 +16142,7 @@ export const orElseSucceed: {
    * already succeeds, it will remain unchanged.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const validate = (age: number): Effect.Effect<number, string> => {
@@ -15636,6 +16160,7 @@ export const orElseSucceed: {
    * console.log(Effect.runSyncExit(program))
    * // Output:
    * // { _id: 'Exit', _tag: 'Success', value: 18 }
+   * ```
    *
    * @since 2.0.0
    * @category Fallback
@@ -15661,6 +16186,7 @@ export const orElseSucceed: {
  * error.
  *
  * @example
+ * ```ts
  * import { Effect, Console } from "effect"
  *
  * interface Config {
@@ -15707,6 +16233,7 @@ export const orElseSucceed: {
  * // Unavailable config for node2
  * // Config for node3 found
  * // { host: 'node3.example.com', port: 8080, apiKey: '12345-abcde' }
+ * ```
  *
  * @since 2.0.0
  * @category Fallback
@@ -16013,6 +16540,7 @@ export const unsafeMakeLatch: (open?: boolean | undefined) => Latch = circular.u
  * @category latch
  * @since 3.8.0
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * Effect.gen(function*() {
@@ -16029,6 +16557,7 @@ export const unsafeMakeLatch: (open?: boolean | undefined) => Latch = circular.u
  *   yield* latch.open
  *   yield* fiber.await
  * })
+ * ```
  */
 export const makeLatch: (open?: boolean | undefined) => Effect<Latch, never, never> = circular.makeLatch
 
@@ -16046,6 +16575,7 @@ export const makeLatch: (open?: boolean | undefined) => Effect<Latch, never, nev
  * `runFork` is a good default choice.
  *
  * @example
+ * ```ts
  * // Title: Running an Effect in the Background
  * import { Effect, Console, Schedule, Fiber } from "effect"
  *
@@ -16063,6 +16593,7 @@ export const makeLatch: (open?: boolean | undefined) => Effect<Latch, never, nev
  * setTimeout(() => {
  *   Effect.runFork(Fiber.interrupt(fiber))
  * }, 500)
+ * ```
  *
  * @since 2.0.0
  * @category Running Effects
@@ -16096,11 +16627,13 @@ export const runCallback: <A, E>(
  * @see {@link runPromiseExit} for a version that returns an `Exit` type instead of rejecting.
  *
  * @example
+ * ```ts
  * // Title: Running a Successful Effect as a Promise
  * import { Effect } from "effect"
  *
  * Effect.runPromise(Effect.succeed(1)).then(console.log)
  * // Output: 1
+ * ```
  *
  * @example
  * //Example: Handling a Failing Effect as a Rejected Promise
@@ -16135,6 +16668,7 @@ export const runPromise: <A, E>(
  *   a `Cause` type.
  *
  * @example
+ * ```ts
  * // Title: Handling Results as Exit
  * import { Effect } from "effect"
  *
@@ -16159,6 +16693,7 @@ export const runPromise: <A, E>(
  * //     failure: "my error"
  * //   }
  * // }
+ * ```
  *
  * @since 2.0.0
  * @category Running Effects
@@ -16184,6 +16719,7 @@ export const runPromiseExit: <A, E>(
  * throwing an error.
  *
  * @example
+ * ```ts
  * // Title: Synchronous Logging
  * import { Effect } from "effect"
  *
@@ -16197,6 +16733,7 @@ export const runPromiseExit: <A, E>(
  *
  * console.log(result)
  * // Output: 1
+ * ```
  *
  * @example
  * // Title: Incorrect Usage with Failing or Async Effects
@@ -16246,6 +16783,7 @@ export const runSync: <A, E>(effect: Effect<A, E>) => A = _runtime.unsafeRunSync
  * resolved synchronously.
  *
  * @example
+ * ```ts
  * // Title: Handling Results as Exit
  * import { Effect } from "effect"
  *
@@ -16268,6 +16806,7 @@ export const runSync: <A, E>(effect: Effect<A, E>) => A = _runtime.unsafeRunSync
  * //     failure: "my error"
  * //   }
  * // }
+ * ```
  *
  * @example
  * // Title: Asynchronous Operation Resulting in Die
@@ -16309,6 +16848,7 @@ export const runSyncExit: <A, E>(effect: Effect<A, E>) => Exit.Exit<A, E> = _run
  * @see {@link zip} for a version that stops at the first error.
  *
  * @example
+ * ```ts
  * import { Effect, Console } from "effect"
  *
  * const task1 = Console.log("task1").pipe(Effect.as(1))
@@ -16336,6 +16876,7 @@ export const runSyncExit: <A, E>(effect: Effect<A, E>) => Exit.Exit<A, E> = _run
  * //     right: { _id: 'Cause', _tag: 'Fail', failure: 'Oh no!' }
  * //   }
  * // }
+ * ```
  *
  * @since 2.0.0
  * @category Error Accumulation
@@ -16356,6 +16897,7 @@ export const validate: {
    * @see {@link zip} for a version that stops at the first error.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * const task1 = Console.log("task1").pipe(Effect.as(1))
@@ -16383,6 +16925,7 @@ export const validate: {
    * //     right: { _id: 'Cause', _tag: 'Fail', failure: 'Oh no!' }
    * //   }
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category Error Accumulation
@@ -16410,6 +16953,7 @@ export const validate: {
    * @see {@link zip} for a version that stops at the first error.
    *
    * @example
+   * ```ts
    * import { Effect, Console } from "effect"
    *
    * const task1 = Console.log("task1").pipe(Effect.as(1))
@@ -16437,6 +16981,7 @@ export const validate: {
    * //     right: { _id: 'Cause', _tag: 'Fail', failure: 'Oh no!' }
    * //   }
    * // }
+   * ```
    *
    * @since 2.0.0
    * @category Error Accumulation
@@ -16516,6 +17061,7 @@ export const validateWith: {
  * @see {@link validate} for a version that accumulates errors.
  *
  * @example
+ * ```ts
  * // Title: Combining Two Effects Sequentially
  * import { Effect } from "effect"
  *
@@ -16539,6 +17085,7 @@ export const validateWith: {
  * // timestamp=... level=INFO fiber=#0 message="task1 done"
  * // timestamp=... level=INFO fiber=#0 message="task2 done"
  * // [ 1, 'hello' ]
+ * ```
  *
  * @example
  * // Title: Combining Two Effects Concurrently
@@ -16581,6 +17128,7 @@ export const zip: {
    * @see {@link validate} for a version that accumulates errors.
    *
    * @example
+   * ```ts
    * // Title: Combining Two Effects Sequentially
    * import { Effect } from "effect"
    *
@@ -16604,6 +17152,7 @@ export const zip: {
    * // timestamp=... level=INFO fiber=#0 message="task1 done"
    * // timestamp=... level=INFO fiber=#0 message="task2 done"
    * // [ 1, 'hello' ]
+   * ```
    *
    * @example
    * // Title: Combining Two Effects Concurrently
@@ -16655,6 +17204,7 @@ export const zip: {
    * @see {@link validate} for a version that accumulates errors.
    *
    * @example
+   * ```ts
    * // Title: Combining Two Effects Sequentially
    * import { Effect } from "effect"
    *
@@ -16678,6 +17228,7 @@ export const zip: {
    * // timestamp=... level=INFO fiber=#0 message="task1 done"
    * // timestamp=... level=INFO fiber=#0 message="task2 done"
    * // [ 1, 'hello' ]
+   * ```
    *
    * @example
    * // Title: Combining Two Effects Concurrently
@@ -16735,6 +17286,7 @@ export const zip: {
  * @see {@link zipRight} for a version that returns the result of the second effect.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * const task1 = Effect.succeed(1).pipe(
@@ -16753,6 +17305,7 @@ export const zip: {
  * // timestamp=... level=INFO fiber=#0 message="task1 done"
  * // timestamp=... level=INFO fiber=#0 message="task2 done"
  * // 1
+ * ```
  *
  * @since 2.0.0
  * @category Zipping
@@ -16776,6 +17329,7 @@ export const zipLeft: {
    * @see {@link zipRight} for a version that returns the result of the second effect.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const task1 = Effect.succeed(1).pipe(
@@ -16794,6 +17348,7 @@ export const zipLeft: {
    * // timestamp=... level=INFO fiber=#0 message="task1 done"
    * // timestamp=... level=INFO fiber=#0 message="task2 done"
    * // 1
+   * ```
    *
    * @since 2.0.0
    * @category Zipping
@@ -16826,6 +17381,7 @@ export const zipLeft: {
    * @see {@link zipRight} for a version that returns the result of the second effect.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const task1 = Effect.succeed(1).pipe(
@@ -16844,6 +17400,7 @@ export const zipLeft: {
    * // timestamp=... level=INFO fiber=#0 message="task1 done"
    * // timestamp=... level=INFO fiber=#0 message="task2 done"
    * // 1
+   * ```
    *
    * @since 2.0.0
    * @category Zipping
@@ -16879,6 +17436,7 @@ export const zipLeft: {
  * @see {@link zipLeft} for a version that returns the result of the first effect.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * const task1 = Effect.succeed(1).pipe(
@@ -16897,6 +17455,7 @@ export const zipLeft: {
  * // timestamp=... level=INFO fiber=#0 message="task1 done"
  * // timestamp=... level=INFO fiber=#0 message="task2 done"
  * // hello
+ * ```
  *
  * @since 2.0.0
  * @category Zipping
@@ -16920,6 +17479,7 @@ export const zipRight: {
    * @see {@link zipLeft} for a version that returns the result of the first effect.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const task1 = Effect.succeed(1).pipe(
@@ -16938,6 +17498,7 @@ export const zipRight: {
    * // timestamp=... level=INFO fiber=#0 message="task1 done"
    * // timestamp=... level=INFO fiber=#0 message="task2 done"
    * // hello
+   * ```
    *
    * @since 2.0.0
    * @category Zipping
@@ -16968,6 +17529,7 @@ export const zipRight: {
    * @see {@link zipLeft} for a version that returns the result of the first effect.
    *
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * const task1 = Effect.succeed(1).pipe(
@@ -16986,6 +17548,7 @@ export const zipRight: {
    * // timestamp=... level=INFO fiber=#0 message="task1 done"
    * // timestamp=... level=INFO fiber=#0 message="task2 done"
    * // hello
+   * ```
    *
    * @since 2.0.0
    * @category Zipping
@@ -17017,6 +17580,7 @@ export const zipRight: {
  * use the `{ concurrent: true }` option.
  *
  * @example
+ * ```ts
  * // Title: Combining Effects with a Custom Function
  * import { Effect } from "effect"
  *
@@ -17041,6 +17605,7 @@ export const zipRight: {
  * // timestamp=... level=INFO fiber=#3 message="task1 done"
  * // timestamp=... level=INFO fiber=#2 message="task2 done"
  * // 6
+ * ```
  *
  * @since 2.0.0
  * @category Zipping
@@ -17062,6 +17627,7 @@ export const zipWith: {
    * use the `{ concurrent: true }` option.
    *
    * @example
+   * ```ts
    * // Title: Combining Effects with a Custom Function
    * import { Effect } from "effect"
    *
@@ -17086,6 +17652,7 @@ export const zipWith: {
    * // timestamp=... level=INFO fiber=#3 message="task1 done"
    * // timestamp=... level=INFO fiber=#2 message="task2 done"
    * // 6
+   * ```
    *
    * @since 2.0.0
    * @category Zipping
@@ -17115,6 +17682,7 @@ export const zipWith: {
    * use the `{ concurrent: true }` option.
    *
    * @example
+   * ```ts
    * // Title: Combining Effects with a Custom Function
    * import { Effect } from "effect"
    *
@@ -17139,6 +17707,7 @@ export const zipWith: {
    * // timestamp=... level=INFO fiber=#3 message="task1 done"
    * // timestamp=... level=INFO fiber=#2 message="task2 done"
    * // 6
+   * ```
    *
    * @since 2.0.0
    * @category Zipping
@@ -17329,6 +17898,7 @@ export const withTracerScoped: (value: Tracer.Tracer) => Effect<void, never, Sco
  * @since 2.0.0
  * @category Tracing
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * Effect.succeed(42).pipe(
@@ -17336,6 +17906,7 @@ export const withTracerScoped: (value: Tracer.Tracer) => Effect<void, never, Sco
  *   // the span will not be registered with the tracer
  *   Effect.withTracerEnabled(false)
  * )
+ * ```
  */
 export const withTracerEnabled: {
   /**
@@ -17344,6 +17915,7 @@ export const withTracerEnabled: {
    * @since 2.0.0
    * @category Tracing
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * Effect.succeed(42).pipe(
@@ -17351,6 +17923,7 @@ export const withTracerEnabled: {
    *   // the span will not be registered with the tracer
    *   Effect.withTracerEnabled(false)
    * )
+   * ```
    */
   (enabled: boolean): <A, E, R>(effect: Effect<A, E, R>) => Effect<A, E, R>
   /**
@@ -17359,6 +17932,7 @@ export const withTracerEnabled: {
    * @since 2.0.0
    * @category Tracing
    * @example
+   * ```ts
    * import { Effect } from "effect"
    *
    * Effect.succeed(42).pipe(
@@ -17366,6 +17940,7 @@ export const withTracerEnabled: {
    *   // the span will not be registered with the tracer
    *   Effect.withTracerEnabled(false)
    * )
+   * ```
    */
   <A, E, R>(effect: Effect<A, E, R>, enabled: boolean): Effect<A, E, R>
 } = core.withTracerEnabled
@@ -17615,6 +18190,7 @@ export interface FunctionWithSpanOptions {
  * @since 3.2.0
  * @category Tracing
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * const getTodo = Effect.functionWithSpan({
@@ -17624,6 +18200,7 @@ export interface FunctionWithSpanOptions {
  *     attributes: { id }
  *   })
  * })
+ * ```
  */
 export const functionWithSpan: <Args extends Array<any>, Ret extends Effect<any, any, any>>(
   options: {
@@ -17704,6 +18281,7 @@ export const withParentSpan: {
  * value.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * //      ┌─── Effect<number, NoSuchElementException, never>
@@ -17729,6 +18307,7 @@ export const withParentSpan: {
  * //     failure: { _tag: 'NoSuchElementException' }
  * //   }
  * // }
+ * ```
  *
  * @since 2.0.0
  * @category Optional Wrapping
@@ -17747,6 +18326,7 @@ export const fromNullable: <A>(value: A) => Effect<NonNullable<A>, Cause.NoSuchE
  * unchanged.
  *
  * @example
+ * ```ts
  * import { Effect } from "effect"
  *
  * //      ┌─── Effect<number, NoSuchElementException, never>
@@ -17770,6 +18350,7 @@ export const fromNullable: <A>(value: A) => Effect<NonNullable<A>, Cause.NoSuchE
  *
  * Effect.runPromise(option2).then(console.log)
  * // Output: { _tag: 'None' }
+ * ```
  *
  * @since 2.0.0
  * @category Optional Wrapping
@@ -17856,6 +18437,7 @@ const makeTagProxy = (TagClass: Context.Tag<any, any> & Record<PropertyKey, any>
 
 /**
  * @example
+ * ```ts
  * import { Effect, Layer } from "effect"
  *
  * class MapTag extends Effect.Tag("MapTag")<MapTag, Map<string, string>>() {
@@ -17864,6 +18446,7 @@ const makeTagProxy = (TagClass: Context.Tag<any, any> & Record<PropertyKey, any>
  *    Effect.sync(() => new Map())
  *  )
  * }
+ * ```
  *
  * @since 2.0.0
  * @category Context
@@ -17903,6 +18486,7 @@ export const Tag: <const Id extends string>(id: Id) => <
 
 /**
  * @example
+ * ```ts
  * import { Effect } from 'effect';
  *
  * class Prefix extends Effect.Service<Prefix>()("Prefix", {
@@ -17922,6 +18506,7 @@ export const Tag: <const Id extends string>(id: Id) => <
  *  }),
  *  dependencies: [Prefix.Default]
  * }) {}
+ * ```
  *
  * @since 3.9.0
  * @category Context
@@ -18225,3 +18810,327 @@ export declare namespace Service {
   export type MakeAccessors<Make> = Make extends { readonly accessors: true } ? true
     : false
 }
+
+/**
+ * @since 3.11.0
+ * @category models
+ */
+export namespace fn {
+  /**
+   * @since 3.11.0
+   * @category models
+   */
+  export type FnEffect<AEff, Eff extends YieldWrap<Effect<any, any, any>>> = 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
+  >
+
+  /**
+   * @since 3.11.0
+   * @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) => fn.FnEffect<AEff, Eff>
+    <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: (_: fn.FnEffect<AEff, Eff>) => 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: (_: fn.FnEffect<AEff, Eff>) => A,
+      b: (_: A) => 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: (_: fn.FnEffect<AEff, Eff>) => A,
+      b: (_: A) => B,
+      c: (_: B) => 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: (_: fn.FnEffect<AEff, Eff>) => A,
+      b: (_: A) => B,
+      c: (_: B) => C,
+      d: (_: C) => 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: (_: fn.FnEffect<AEff, Eff>) => A,
+      b: (_: A) => B,
+      c: (_: B) => C,
+      d: (_: C) => D,
+      e: (_: D) => 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: (_: fn.FnEffect<AEff, Eff>) => A,
+      b: (_: A) => B,
+      c: (_: B) => C,
+      d: (_: C) => D,
+      e: (_: D) => E,
+      f: (_: E) => 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: (_: fn.FnEffect<AEff, Eff>) => A,
+      b: (_: A) => B,
+      c: (_: B) => C,
+      d: (_: C) => D,
+      e: (_: D) => E,
+      f: (_: E) => F,
+      g: (_: F) => 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: (_: fn.FnEffect<AEff, Eff>) => A,
+      b: (_: A) => B,
+      c: (_: B) => C,
+      d: (_: C) => D,
+      e: (_: D) => E,
+      f: (_: E) => F,
+      g: (_: F) => G,
+      h: (_: G) => 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: (_: fn.FnEffect<AEff, Eff>) => A,
+      b: (_: A) => B,
+      c: (_: B) => C,
+      d: (_: C) => D,
+      e: (_: D) => E,
+      f: (_: E) => F,
+      g: (_: F) => G,
+      h: (_: G) => H,
+      i: (_: H) => I
+    ): (...args: Args) => I
+  }
+
+  /**
+   * @since 3.11.0
+   * @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,
+      a: (_: A) => Eff
+    ): (...args: Args) => Eff
+    <Eff extends Effect<any, any, any>, A, B, Args extends Array<any>>(
+      body: (...args: Args) => A,
+      a: (_: A) => B,
+      b: (_: B) => Eff
+    ): (...args: Args) => Eff
+    <Eff extends Effect<any, any, any>, A, B, C, Args extends Array<any>>(
+      body: (...args: Args) => A,
+      a: (_: A) => B,
+      b: (_: B) => C,
+      c: (_: C) => Eff
+    ): (...args: Args) => Eff
+    <Eff extends Effect<any, any, any>, A, B, C, D, Args extends Array<any>>(
+      body: (...args: Args) => A,
+      a: (_: A) => B,
+      b: (_: B) => C,
+      c: (_: C) => D,
+      d: (_: D) => 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) => B,
+      b: (_: B) => C,
+      c: (_: C) => D,
+      d: (_: D) => E,
+      e: (_: E) => 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) => B,
+      b: (_: B) => C,
+      c: (_: C) => D,
+      d: (_: D) => E,
+      e: (_: E) => F,
+      f: (_: E) => 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) => B,
+      b: (_: B) => C,
+      c: (_: C) => D,
+      d: (_: D) => E,
+      e: (_: E) => F,
+      f: (_: E) => G,
+      g: (_: G) => 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) => B,
+      b: (_: B) => C,
+      c: (_: C) => D,
+      d: (_: D) => E,
+      e: (_: E) => F,
+      f: (_: E) => G,
+      g: (_: G) => H,
+      h: (_: H) => 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) => B,
+      b: (_: B) => C,
+      c: (_: C) => D,
+      d: (_: D) => E,
+      e: (_: E) => F,
+      f: (_: E) => G,
+      g: (_: G) => H,
+      h: (_: H) => I,
+      i: (_: H) => Eff
+    ): (...args: Args) => Eff
+  }
+}
+
+/**
+ * Creates a function that returns an Effect which is automatically traced with a span pointing to the call site.
+ *
+ * The function can be created both using a generator function that can yield effects or using a normal function.
+ *
+ * @since 3.11.0
+ * @category function
+ *
+ * @example
+ * import { Effect } from "effect"
+ *
+ * const logExample = Effect.fn("logExample")(
+ *   function*<N extends number>(n: N) {
+ *     yield* Effect.annotateCurrentSpan("n", n)
+ *     yield* Effect.logInfo(`got: ${n}`)
+ *     yield* Effect.fail(new Error())
+ *   },
+ *   Effect.delay("1 second")
+ * )
+ *
+ * Effect.runFork(
+ *   // this location is printed on the stack trace of the following `Effect.logError`
+ *   logExample(100).pipe(
+ *     Effect.catchAllCause(Effect.logError)
+ *   )
+ * )
+ */
+export const fn: (
+  name: string,
+  options?: Tracer.SpanOptions
+) => fn.Gen & fn.NonGen = (name, options) => (body: Function, ...pipeables: Array<any>) => {
+  return function(this: any, ...args: Array<any>) {
+    const limit = Error.stackTraceLimit
+    Error.stackTraceLimit = 2
+    const error = new Error()
+    Error.stackTraceLimit = limit
+    let cache: false | string = false
+    const captureStackTrace = () => {
+      if (cache !== false) {
+        return cache
+      }
+      if (error.stack) {
+        const stack = error.stack.trim().split("\n")
+        cache = stack.slice(2).join("\n").trim()
+        return cache
+      }
+    }
+    let effect: Effect<any, any, any>
+    let fnError: any = undefined
+    try {
+      effect = isGeneratorFunction(body)
+        ? gen(() => internalCall(() => body.apply(this, args)))
+        : body.apply(this, args)
+    } catch (error) {
+      fnError = error
+      effect = die(error)
+    }
+    try {
+      for (const x of pipeables) {
+        effect = x(effect)
+      }
+    } catch (error) {
+      effect = fnError
+        ? failCause(internalCause.sequential(
+          internalCause.die(fnError),
+          internalCause.die(error)
+        ))
+        : die(error)
+    }
+    const opts: any = (options && "captureStackTrace" in options) ? options : { captureStackTrace, ...options }
+    return withSpan(effect, name, opts)
+  }
+}