effect 4.0.0-beta.68 → 4.0.0-beta.69

package/src/Effect.ts

@@ -20,7 +20,7 @@
  * - **Testable**: Built-in support for testing with controlled environments
  * - **Interruptible**: Effects can be safely interrupted and cancelled
  *
- * **Example** (Usage)
+ * **Example** (Creating and running effects)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -39,7 +39,7 @@
  * Effect.runPromise(program).then(console.log) // 13
  * ```
  *
- * **Example** (Usage)
+ * **Example** (Handling typed failures)
  *
  * ```ts
  * import { Data, Effect } from "effect"
@@ -239,7 +239,7 @@ export type Services<T> = T extends Effect<infer _A, infer _E, infer _R> ? _R
 /**
  * Tests if a value is an `Effect`.
  *
- * **Example** (Usage)
+ * **Example** (Checking whether a value is an Effect)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -414,7 +414,7 @@ export declare namespace All {
  * `Result` in the same output shape. Use `discard: true` to ignore successful
  * values and return `void`.
  *
- * **Example** (Combining Effects in Tuples)
+ * **Example** (Collecting tuple results in order)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -435,7 +435,7 @@ export declare namespace All {
  * // [ 42, 'Hello' ]
  * ```
  *
- * **Example** (Combining Effects in Iterables)
+ * **Example** (Collecting iterable results in order)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -456,7 +456,7 @@ export declare namespace All {
  * // [ 1, 2, 3 ]
  * ```
  *
- * **Example** (Combining Effects in Structs)
+ * **Example** (Collecting struct results by key)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -477,7 +477,7 @@ export declare namespace All {
  * // { a: 42, b: 'Hello' }
  * ```
  *
- * **Example** (Combining Effects in Records)
+ * **Example** (Collecting record results by key)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -498,7 +498,7 @@ export declare namespace All {
  * // { key1: 1, key2: 2 }
  * ```
  *
- * **Example** (Short-Circuiting Behavior)
+ * **Example** (Stopping on the first failure)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -551,7 +551,7 @@ export const all: <
  * This function runs every effect and never fails. Use `concurrency` to control
  * parallelism.
  *
- * **Example** (Usage)
+ * **Example** (Separating successes and failures)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -580,7 +580,7 @@ export const partition: {
    * This function runs every effect and never fails. Use `concurrency` to control
    * parallelism.
    *
-   * **Example** (Usage)
+   * **Example** (Separating successes and failures)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -612,7 +612,7 @@ export const partition: {
    * This function runs every effect and never fails. Use `concurrency` to control
    * parallelism.
    *
-   * **Example** (Usage)
+   * **Example** (Separating successes and failures)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -645,7 +645,7 @@ export const partition: {
  * Use `discard: true` to ignore successful values while still validating all
  * elements.
  *
- * **Example** (Usage)
+ * **Example** (Validating every element)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -682,7 +682,7 @@ export const validate: {
    * Use `discard: true` to ignore successful values while still validating all
    * elements.
    *
-   * **Example** (Usage)
+   * **Example** (Validating every element)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -725,7 +725,7 @@ export const validate: {
    * Use `discard: true` to ignore successful values while still validating all
    * elements.
    *
-   * **Example** (Usage)
+   * **Example** (Validating every element)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -768,7 +768,7 @@ export const validate: {
    * Use `discard: true` to ignore successful values while still validating all
    * elements.
    *
-   * **Example** (Usage)
+   * **Example** (Validating every element)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -812,7 +812,7 @@ export const validate: {
    * Use `discard: true` to ignore successful values while still validating all
    * elements.
    *
-   * **Example** (Usage)
+   * **Example** (Validating every element)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -854,7 +854,7 @@ export const validate: {
  * The predicate receives the element and its index. Evaluation short-circuits
  * as soon as an element matches.
  *
- * **Example** (Usage)
+ * **Example** (Finding the first successful match)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -875,7 +875,7 @@ export const findFirst: {
    * The predicate receives the element and its index. Evaluation short-circuits
    * as soon as an element matches.
    *
-   * **Example** (Usage)
+   * **Example** (Finding the first successful match)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -896,7 +896,7 @@ export const findFirst: {
    * The predicate receives the element and its index. Evaluation short-circuits
    * as soon as an element matches.
    *
-   * **Example** (Usage)
+   * **Example** (Finding the first successful match)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -976,7 +976,7 @@ export const findFirstFilter: {
  *
  * @see {@link all} for combining multiple effects into one.
  *
- * **Example** (Applying Effects to Iterable Elements)
+ * **Example** (Mapping over an iterable with effects)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -997,7 +997,7 @@ export const findFirstFilter: {
  * // [ 2, 4, 6, 8, 10 ]
  * ```
  *
- * **Example** (Using discard to Ignore Results)
+ * **Example** (Running effects without collecting results)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -1047,7 +1047,7 @@ export const forEach: {
    *
    * @see {@link all} for combining multiple effects into one.
    *
-   * **Example** (Applying Effects to Iterable Elements)
+   * **Example** (Mapping over an iterable with effects)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -1068,7 +1068,7 @@ export const forEach: {
    * // [ 2, 4, 6, 8, 10 ]
    * ```
    *
-   * **Example** (Using discard to Ignore Results)
+   * **Example** (Running effects without collecting results)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -1121,7 +1121,7 @@ export const forEach: {
    *
    * @see {@link all} for combining multiple effects into one.
    *
-   * **Example** (Applying Effects to Iterable Elements)
+   * **Example** (Mapping over an iterable with effects)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -1142,7 +1142,7 @@ export const forEach: {
    * // [ 2, 4, 6, 8, 10 ]
    * ```
    *
-   * **Example** (Using discard to Ignore Results)
+   * **Example** (Running effects without collecting results)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -1178,7 +1178,7 @@ export const forEach: {
 /**
  * Executes a body effect repeatedly while a condition holds true.
  *
- * **Example** (Usage)
+ * **Example** (Repeating an effectful loop)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -1238,7 +1238,7 @@ export const whileLoop: <A, E, R>(options: {
  *
  * @see {@link tryPromise} for a version that can handle failures.
  *
- * **Example** (Delayed Message)
+ * **Example** (Wrapping a non-rejecting Promise)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -1291,7 +1291,7 @@ export const promise: <A>(
  * An optional `AbortSignal` can be provided to allow for interruption of the
  * wrapped `Promise` API.
  *
- * **Example** (Fetching a TODO Item)
+ * **Example** (Wrapping a fetch request that may fail)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -1307,7 +1307,7 @@ export const promise: <A>(
  * const program = getTodo(1)
  * ```
  *
- * **Example** (Custom Error Handling)
+ * **Example** (Mapping Promise rejections to a tagged error)
  *
  * ```ts
  * import { Data, Effect } from "effect"
@@ -1347,7 +1347,7 @@ export const tryPromise: <A, E = Cause.UnknownError>(
  *
  * @see {@link fail} to create an effect that represents a failure.
  *
- * **Example** (Creating a Successful Effect)
+ * **Example** (Creating a successful effect)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -1367,7 +1367,7 @@ export const succeed: <A>(value: A) => Effect<A> = internal.succeed
 /**
  * Returns an effect which succeeds with `None`.
  *
- * **Example** (Usage)
+ * **Example** (Succeeding with Option.none)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -1386,7 +1386,7 @@ export const succeedNone: Effect<Option<never>> = internal.succeedNone
 /**
  * Returns an effect which succeeds with the value wrapped in a `Some`.
  *
- * **Example** (Usage)
+ * **Example** (Succeeding with Option.some)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -1416,7 +1416,7 @@ export const succeedSome: <A>(value: A) => Effect<Option<A>> = internal.succeedS
  * - **Handling Circular Dependencies**: Useful in managing circular dependencies, such as recursive functions that need to avoid eager evaluation to prevent stack overflow.
  * - **Unifying Return Types**: Can help TypeScript unify return types in situations where multiple branches of logic return different effects, simplifying type inference.
  *
- * **Example** (Lazy Evaluation with Side Effects)
+ * **Example** (Lazily evaluating side effects)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -1434,7 +1434,7 @@ export const succeedSome: <A>(value: A) => Effect<Option<A>> = internal.succeedS
  * console.log(Effect.runSync(good)) // Output: 2
  * ```
  *
- * **Example** (Recursive Fibonacci)
+ * **Example** (Suspending recursive Fibonacci evaluation)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -1460,7 +1460,7 @@ export const succeedSome: <A>(value: A) => Effect<Option<A>> = internal.succeedS
  * // Output: 3524578
  * ```
  *
- * **Example** (Using Effect.suspend to Help TypeScript Infer Types)
+ * **Example** (Helping TypeScript infer recursive effect types)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -1511,7 +1511,7 @@ export const suspend: <A, E, R>(
  *
  * @see {@link try_ | try} for a version that can handle failures.
  *
- * **Example** (Logging a Message)
+ * **Example** (Capturing synchronous logging in an Effect)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -1564,7 +1564,7 @@ export {
  * Use `Effect.callback` when integrating APIs that complete through callbacks
  * instead of returning a `Promise`.
  *
- * **Example** (Usage)
+ * **Example** (Integrating callback APIs)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -1596,7 +1596,7 @@ export const callback: <A, E = never, R = never>(
  * Returns an effect that will never produce anything. The moral equivalent of
  * `while(true) {}`, only without the wasted CPU cycles.
  *
- * **Example** (Usage)
+ * **Example** (Creating a never-ending effect)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -1620,7 +1620,7 @@ export const never: Effect<never> = internal.never
  * An `Effect` containing an empty record `{}`, used as the starting point for
  * do notation chains.
  *
- * **Example** (Usage)
+ * **Example** (Starting do notation)
  *
  * ```ts
  * import { Effect, pipe } from "effect"
@@ -1728,7 +1728,7 @@ export const bind: {
  * explicit control over the execution of effects. You can `yield*` values from
  * effects and return the final result at the end.
  *
- * **Example** (Usage)
+ * **Example** (Sequencing effects with generators)
  *
  * ```ts
  * import { Data, Effect } from "effect"
@@ -1780,7 +1780,7 @@ export const gen: {
    * explicit control over the execution of effects. You can `yield*` values from
    * effects and return the final result at the end.
    *
-   * **Example** (Usage)
+   * **Example** (Sequencing effects with generators)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -1840,7 +1840,7 @@ export const gen: {
    * explicit control over the execution of effects. You can `yield*` values from
    * effects and return the final result at the end.
    *
-   * **Example** (Usage)
+   * **Example** (Sequencing effects with generators)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -1918,7 +1918,7 @@ export namespace gen {
  *
  * @see {@link succeed} to create an effect that represents a successful value.
  *
- * **Example** (Creating a Failed Effect)
+ * **Example** (Creating a failed effect)
  *
  * ```ts
  * import { Data, Effect } from "effect"
@@ -1943,7 +1943,7 @@ export const fail: <E>(error: E) => Effect<never, E> = internal.fail
  * This function is useful when you need to create an error effect but want to
  * defer the computation of the error value until the effect is actually run.
  *
- * **Example** (Usage)
+ * **Example** (Lazily creating failures)
  *
  * ```ts
  * import { Data, Effect } from "effect"
@@ -1967,7 +1967,7 @@ export const failSync: <E>(evaluate: LazyArg<E>) => Effect<never, E> = internal.
  * This function allows you to create effects that fail with complex error
  * structures, including multiple errors, defects, interruptions, and more.
  *
- * **Example** (Usage)
+ * **Example** (Failing with a full Cause)
  *
  * ```ts
  * import { Cause, Effect } from "effect"
@@ -1991,7 +1991,7 @@ export const failCause: <E>(cause: Cause.Cause<E>) => Effect<never, E> = interna
  * This function is useful when you need to create a failure effect with a
  * complex cause but want to defer the computation until the effect is run.
  *
- * **Example** (Usage)
+ * **Example** (Lazily creating a Cause)
  *
  * ```ts
  * import { Cause, Effect } from "effect"
@@ -2030,7 +2030,7 @@ export const failCauseSync: <E>(
  *
  * @see {@link die} for a variant that dies with an already computed defect.
  *
- * **Example** (Terminating on Division by Zero with a Specified Error)
+ * **Example** (Failing when division by zero)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -2084,7 +2084,7 @@ export {
    * @see {@link sync} if the effectful computation is synchronous and does not
    * throw errors.
    *
-   * **Example** (Basic Usage with Default Error Handling)
+   * **Example** (Parsing JSON with typed error mapping)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -2104,7 +2104,7 @@ export {
    * // Output: Exit.failure with Error
    * ```
    *
-   * **Example** (Custom Error Handling)
+   * **Example** (Mapping synchronous exceptions to a tagged error)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -2130,7 +2130,7 @@ export {
 /**
  * Yields control back to the Effect runtime, allowing other fibers to execute.
  *
- * **Example** (Usage)
+ * **Example** (Yielding to other fibers)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -2152,7 +2152,7 @@ export const yieldNow: Effect<void> = internal.yieldNow
 /**
  * Yields control back to the Effect runtime with a specified priority, allowing other fibers to execute.
  *
- * **Example** (Usage)
+ * **Example** (Yielding with priority)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -2174,7 +2174,7 @@ export const yieldNowWith: (priority?: number) => Effect<void> = internal.yieldN
 /**
  * Provides access to the current fiber within an effect computation.
  *
- * **Example** (Usage)
+ * **Example** (Reading the current fiber)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -2201,7 +2201,7 @@ export const withFiber: <A, E = never, R = never>(
 /**
  * Converts a `Result` to an `Effect`.
  *
- * **Example** (Usage)
+ * **Example** (Converting a Result into an Effect)
  *
  * ```ts
  * import { Effect, Result } from "effect"
@@ -2228,7 +2228,7 @@ export const fromResult: <A, E>(result: Result.Result<A, E>) => Effect<A, E> = i
  * `Option.some` becomes a successful effect with the contained value, while
  * `Option.none` becomes a failed effect with `NoSuchElementError`.
  *
- * **Example** (Usage)
+ * **Example** (Converting an Option into an Effect)
  *
  * ```ts
  * import { Effect, Option } from "effect"
@@ -2255,7 +2255,7 @@ export const fromOption: <A>(
  * Converts a nullable value to an `Effect`, failing with a `NoSuchElementError`
  * when the value is `null` or `undefined`.
  *
- * **Example** (Usage)
+ * **Example** (Failing on nullish values)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -2312,7 +2312,7 @@ export const fromNullishOr: <A>(value: A) => Effect<NonNullable<A>, Cause.NoSuch
  * step produces a new `Effect` while flattening any nested effects that may
  * occur.
  *
- * **Example** (Usage)
+ * **Example** (Sequencing dependent effects)
  *
  * ```ts
  * import { Data, Effect, pipe } from "effect"
@@ -2381,7 +2381,7 @@ export const flatMap: {
    * step produces a new `Effect` while flattening any nested effects that may
    * occur.
    *
-   * **Example** (Usage)
+   * **Example** (Sequencing dependent effects)
    *
    * ```ts
    * import { Data, Effect, pipe } from "effect"
@@ -2450,7 +2450,7 @@ export const flatMap: {
    * step produces a new `Effect` while flattening any nested effects that may
    * occur.
    *
-   * **Example** (Usage)
+   * **Example** (Sequencing dependent effects)
    *
    * ```ts
    * import { Data, Effect, pipe } from "effect"
@@ -2490,7 +2490,7 @@ export const flatMap: {
 /**
  * Flattens an `Effect` that produces another `Effect` into a single effect.
  *
- * **Example** (Usage)
+ * **Example** (Flattening nested effects)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -2539,7 +2539,7 @@ export const flatten: <A, E, R, E2, R2>(self: Effect<Effect<A, E, R>, E2, R2>) =
  * Failures or requirements from either effect are preserved in the returned
  * effect.
  *
- * **Example** (Applying a Discount Based on Fetched Amount)
+ * **Example** (Sequencing a discount calculation after fetching a total)
  *
  * ```ts
  * import { Data, Effect, pipe } from "effect"
@@ -2612,7 +2612,7 @@ export const andThen: {
    * Failures or requirements from either effect are preserved in the returned
    * effect.
    *
-   * **Example** (Applying a Discount Based on Fetched Amount)
+   * **Example** (Sequencing a discount calculation after fetching a total)
    *
    * ```ts
    * import { Data, Effect, pipe } from "effect"
@@ -2685,7 +2685,7 @@ export const andThen: {
    * Failures or requirements from either effect are preserved in the returned
    * effect.
    *
-   * **Example** (Applying a Discount Based on Fetched Amount)
+   * **Example** (Sequencing a discount calculation after fetching a total)
    *
    * ```ts
    * import { Data, Effect, pipe } from "effect"
@@ -2758,7 +2758,7 @@ export const andThen: {
    * Failures or requirements from either effect are preserved in the returned
    * effect.
    *
-   * **Example** (Applying a Discount Based on Fetched Amount)
+   * **Example** (Sequencing a discount calculation after fetching a total)
    *
    * ```ts
    * import { Data, Effect, pipe } from "effect"
@@ -2831,7 +2831,7 @@ export const andThen: {
    * Failures or requirements from either effect are preserved in the returned
    * effect.
    *
-   * **Example** (Applying a Discount Based on Fetched Amount)
+   * **Example** (Sequencing a discount calculation after fetching a total)
    *
    * ```ts
    * import { Data, Effect, pipe } from "effect"
@@ -3172,7 +3172,7 @@ export const tap: {
  * The resulting effect cannot fail directly because all recoverable failures
  * are represented inside the `Result` type.
  *
- * **Example** (Usage)
+ * **Example** (Capturing success or failure as Result)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -3206,7 +3206,7 @@ export const result: <A, E, R>(self: Effect<A, E, R>) => Effect<Result.Result<A,
  * Success values become `Option.some`, recoverable failures become
  * `Option.none`, and defects still fail the effect.
  *
- * **Example** (Usage)
+ * **Example** (Capturing success or failure as Option)
  *
  * ```ts
  * import { Console, Effect, Option } from "effect"
@@ -3245,7 +3245,7 @@ export const option: <A, E, R>(self: Effect<A, E, R>) => Effect<Option<A>, never
  * the `Exit.Failure` type. The error type is set to `never`, indicating that
  * the effect is structured to never fail directly.
  *
- * **Example** (Usage)
+ * **Example** (Capturing completion as Exit)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -3295,7 +3295,7 @@ export const exit: <A, E, R>(
  * effect is not modified. Instead, a new effect is returned with the updated
  * value.
  *
- * **Example** (Adding a Service Charge)
+ * **Example** (Adding a service charge)
  *
  * ```ts
  * import { Effect, pipe } from "effect"
@@ -3343,7 +3343,7 @@ export const map: {
    * effect is not modified. Instead, a new effect is returned with the updated
    * value.
    *
-   * **Example** (Adding a Service Charge)
+   * **Example** (Adding a service charge)
    *
    * ```ts
    * import { Effect, pipe } from "effect"
@@ -3391,7 +3391,7 @@ export const map: {
    * effect is not modified. Instead, a new effect is returned with the updated
    * value.
    *
-   * **Example** (Adding a Service Charge)
+   * **Example** (Adding a service charge)
    *
    * ```ts
    * import { Effect, pipe } from "effect"
@@ -3425,7 +3425,7 @@ export const map: {
  * `as` allows you to ignore the original value inside an effect and
  * replace it with a new constant value.
  *
- * **Example** (Replacing a Value)
+ * **Example** (Replacing a success value)
  *
  * ```ts
  * import { Effect, pipe } from "effect"
@@ -3447,7 +3447,7 @@ export const as: {
    * `as` allows you to ignore the original value inside an effect and
    * replace it with a new constant value.
    *
-   * **Example** (Replacing a Value)
+   * **Example** (Replacing a success value)
    *
    * ```ts
    * import { Effect, pipe } from "effect"
@@ -3469,7 +3469,7 @@ export const as: {
    * `as` allows you to ignore the original value inside an effect and
    * replace it with a new constant value.
    *
-   * **Example** (Replacing a Value)
+   * **Example** (Replacing a success value)
    *
    * ```ts
    * import { Effect, pipe } from "effect"
@@ -3492,7 +3492,7 @@ export const as: {
  * in an `Option` value. If the original `Effect` value fails, the returned
  * `Effect` value will also fail.
  *
- * **Example** (Usage)
+ * **Example** (Wrapping success in Option.some)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -3514,7 +3514,7 @@ export const asSome: <A, E, R>(self: Effect<A, E, R>) => Effect<Option<A>, E, R>
  * succeed. If the original `Effect` value fails, the returned `Effect` value
  * will fail with the same error.
  *
- * **Example** (Usage)
+ * **Example** (Discarding success values)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -3539,7 +3539,7 @@ export const asVoid: <A, E, R>(self: Effect<A, E, R>) => Effect<void, E, R> = in
  * be helpful in scenarios where you want to handle a success as a failure or
  * treat an error as a valid result.
  *
- * **Example** (Usage)
+ * **Example** (Swapping success and failure channels)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -3576,7 +3576,7 @@ export const flip: <A, E, R>(self: Effect<A, E, R>) => Effect<E, A, R> = interna
  * @see {@link zipWith} for a version that combines the results with a custom function.
  * @see {@link validate} for a version that accumulates errors.
  *
- * **Example** (Combining Two Effects Sequentially)
+ * **Example** (Combining two effects sequentially)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -3603,7 +3603,7 @@ export const flip: <A, E, R>(self: Effect<A, E, R>) => Effect<E, A, R> = interna
  * // [ 1, 'hello' ]
  * ```
  *
- * **Example** (Combining Two Effects Concurrently)
+ * **Example** (Combining two effects concurrently)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -3649,7 +3649,7 @@ export const zip: {
    * @see {@link zipWith} for a version that combines the results with a custom function.
    * @see {@link validate} for a version that accumulates errors.
    *
-   * **Example** (Combining Two Effects Sequentially)
+   * **Example** (Combining two effects sequentially)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -3676,7 +3676,7 @@ export const zip: {
    * // [ 1, 'hello' ]
    * ```
    *
-   * **Example** (Combining Two Effects Concurrently)
+   * **Example** (Combining two effects concurrently)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -3725,7 +3725,7 @@ export const zip: {
    * @see {@link zipWith} for a version that combines the results with a custom function.
    * @see {@link validate} for a version that accumulates errors.
    *
-   * **Example** (Combining Two Effects Sequentially)
+   * **Example** (Combining two effects sequentially)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -3752,7 +3752,7 @@ export const zip: {
    * // [ 1, 'hello' ]
    * ```
    *
-   * **Example** (Combining Two Effects Concurrently)
+   * **Example** (Combining two effects concurrently)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -3801,7 +3801,7 @@ export const zip: {
  * By default, the effects are run sequentially. To execute them concurrently,
  * use the `{ concurrent: true }` option.
  *
- * **Example** (Combining Effects with a Custom Function)
+ * **Example** (Combining two success values with a function)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -3848,7 +3848,7 @@ export const zipWith: {
    * By default, the effects are run sequentially. To execute them concurrently,
    * use the `{ concurrent: true }` option.
    *
-   * **Example** (Combining Effects with a Custom Function)
+   * **Example** (Combining two success values with a function)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -3899,7 +3899,7 @@ export const zipWith: {
    * By default, the effects are run sequentially. To execute them concurrently,
    * use the `{ concurrent: true }` option.
    *
-   * **Example** (Combining Effects with a Custom Function)
+   * **Example** (Combining two success values with a function)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -3988,7 +3988,7 @@ export {
  * The error type must have a readonly `_tag` field to use `catchTag`. This
  * field is used to identify and match errors.
  *
- * **Example** (Usage)
+ * **Example** (Handling a tagged error)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -4030,7 +4030,7 @@ export const catchTag: {
    * The error type must have a readonly `_tag` field to use `catchTag`. This
    * field is used to identify and match errors.
    *
-   * **Example** (Usage)
+   * **Example** (Handling a tagged error)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -4087,7 +4087,7 @@ export const catchTag: {
    * The error type must have a readonly `_tag` field to use `catchTag`. This
    * field is used to identify and match errors.
    *
-   * **Example** (Usage)
+   * **Example** (Handling a tagged error)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -4150,7 +4150,7 @@ export const catchTag: {
  * The error type must have a readonly `_tag` field to use `catchTag`. This
  * field is used to identify and match errors.
  *
- * **Example** (Usage)
+ * **Example** (Handling multiple tagged errors)
  *
  * ```ts
  * import { Data, Effect } from "effect"
@@ -4194,7 +4194,7 @@ export const catchTags: {
    * The error type must have a readonly `_tag` field to use `catchTag`. This
    * field is used to identify and match errors.
    *
-   * **Example** (Usage)
+   * **Example** (Handling multiple tagged errors)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -4266,7 +4266,7 @@ export const catchTags: {
    * The error type must have a readonly `_tag` field to use `catchTag`. This
    * field is used to identify and match errors.
    *
-   * **Example** (Usage)
+   * **Example** (Handling multiple tagged errors)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -4332,7 +4332,7 @@ export const catchTags: {
  * Use this to handle nested error causes without removing the parent error
  * from the error channel. The handler receives the unwrapped reason.
  *
- * **Example** (Usage)
+ * **Example** (Handling an error reason)
  *
  * ```ts
  * import { Data, Effect } from "effect"
@@ -4369,7 +4369,7 @@ export const catchReason: {
    * Use this to handle nested error causes without removing the parent error
    * from the error channel. The handler receives the unwrapped reason.
    *
-   * **Example** (Usage)
+   * **Example** (Handling an error reason)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -4431,7 +4431,7 @@ export const catchReason: {
    * Use this to handle nested error causes without removing the parent error
    * from the error channel. The handler receives the unwrapped reason.
    *
-   * **Example** (Usage)
+   * **Example** (Handling an error reason)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -4487,7 +4487,7 @@ export const catchReason: {
 /**
  * Catches multiple reasons within a tagged error using an object of handlers.
  *
- * **Example** (Usage)
+ * **Example** (Handling multiple error reasons)
  *
  * ```ts
  * import { Data, Effect } from "effect"
@@ -4523,7 +4523,7 @@ export const catchReasons: {
   /**
    * Catches multiple reasons within a tagged error using an object of handlers.
    *
-   * **Example** (Usage)
+   * **Example** (Handling multiple error reasons)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -4598,7 +4598,7 @@ export const catchReasons: {
   /**
    * Catches multiple reasons within a tagged error using an object of handlers.
    *
-   * **Example** (Usage)
+   * **Example** (Handling multiple error reasons)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -4689,7 +4689,7 @@ export type TagsWithReason<E> = {
  * Promotes nested reason errors into the Effect error channel, replacing
  * the parent error.
  *
- * **Example** (Usage)
+ * **Example** (Extracting the reason from a tagged error)
  *
  * ```ts
  * import { Data, Effect } from "effect"
@@ -4721,7 +4721,7 @@ export const unwrapReason: {
    * Promotes nested reason errors into the Effect error channel, replacing
    * the parent error.
    *
-   * **Example** (Usage)
+   * **Example** (Extracting the reason from a tagged error)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -4756,7 +4756,7 @@ export const unwrapReason: {
    * Promotes nested reason errors into the Effect error channel, replacing
    * the parent error.
    *
-   * **Example** (Usage)
+   * **Example** (Extracting the reason from a tagged error)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -4808,7 +4808,7 @@ export const unwrapReason: {
  * they often indicate serious issues. However, in some cases, such as
  * dynamically loaded plugins, controlled recovery might be needed.
  *
- * **Example** (Usage)
+ * **Example** (Recovering from full failure causes)
  *
  * ```ts
  * import { Cause, Console, Effect } from "effect"
@@ -4848,7 +4848,7 @@ export const catchCause: {
    * they often indicate serious issues. However, in some cases, such as
    * dynamically loaded plugins, controlled recovery might be needed.
    *
-   * **Example** (Usage)
+   * **Example** (Recovering from full failure causes)
    *
    * ```ts
    * import { Cause, Console, Effect } from "effect"
@@ -4888,7 +4888,7 @@ export const catchCause: {
    * they often indicate serious issues. However, in some cases, such as
    * dynamically loaded plugins, controlled recovery might be needed.
    *
-   * **Example** (Usage)
+   * **Example** (Recovering from full failure causes)
    *
    * ```ts
    * import { Cause, Console, Effect } from "effect"
@@ -4932,7 +4932,7 @@ export const catchCause: {
  * they often indicate serious issues. In some cases, such as dynamically loaded
  * plugins, controlled recovery may be needed.
  *
- * **Example** (Usage)
+ * **Example** (Recovering from defects)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -4973,7 +4973,7 @@ export const catchDefect: {
    * they often indicate serious issues. In some cases, such as dynamically loaded
    * plugins, controlled recovery may be needed.
    *
-   * **Example** (Usage)
+   * **Example** (Recovering from defects)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -5014,7 +5014,7 @@ export const catchDefect: {
    * they often indicate serious issues. In some cases, such as dynamically loaded
    * plugins, controlled recovery may be needed.
    *
-   * **Example** (Usage)
+   * **Example** (Recovering from defects)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -5048,7 +5048,7 @@ export const catchDefect: {
  * matching. Non-matching errors re-fail with the original cause. Defects and
  * interrupts are not caught.
  *
- * **Example** (Usage)
+ * **Example** (Recovering when a predicate matches)
  *
  * ```ts
  * import { Data, Effect, Filter } from "effect"
@@ -5088,7 +5088,7 @@ export const catchIf: {
    * matching. Non-matching errors re-fail with the original cause. Defects and
    * interrupts are not caught.
    *
-   * **Example** (Usage)
+   * **Example** (Recovering when a predicate matches)
    *
    * ```ts
    * import { Data, Effect, Filter } from "effect"
@@ -5132,7 +5132,7 @@ export const catchIf: {
    * matching. Non-matching errors re-fail with the original cause. Defects and
    * interrupts are not caught.
    *
-   * **Example** (Usage)
+   * **Example** (Recovering when a predicate matches)
    *
    * ```ts
    * import { Data, Effect, Filter } from "effect"
@@ -5176,7 +5176,7 @@ export const catchIf: {
    * matching. Non-matching errors re-fail with the original cause. Defects and
    * interrupts are not caught.
    *
-   * **Example** (Usage)
+   * **Example** (Recovering when a predicate matches)
    *
    * ```ts
    * import { Data, Effect, Filter } from "effect"
@@ -5221,7 +5221,7 @@ export const catchIf: {
    * matching. Non-matching errors re-fail with the original cause. Defects and
    * interrupts are not caught.
    *
-   * **Example** (Usage)
+   * **Example** (Recovering when a predicate matches)
    *
    * ```ts
    * import { Data, Effect, Filter } from "effect"
@@ -5296,7 +5296,7 @@ export const catchFilter: {
  * Success values become `Option.some`, `NoSuchElementError` becomes
  * `Option.none`, and all other errors are preserved.
  *
- * **Example** (Usage)
+ * **Example** (Recovering from missing Option values)
  *
  * ```ts
  * import { Effect, Option } from "effect"
@@ -5322,7 +5322,7 @@ export const catchNoSuchElement: <A, E, R>(
  * that match a specific predicate. This is useful when you want to handle
  * only certain types of errors while letting others propagate.
  *
- * **Example** (Usage)
+ * **Example** (Recovering from selected causes)
  *
  * ```ts
  * import { Cause, Console, Effect } from "effect"
@@ -5356,7 +5356,7 @@ export const catchCauseIf: {
    * that match a specific predicate. This is useful when you want to handle
    * only certain types of errors while letting others propagate.
    *
-   * **Example** (Usage)
+   * **Example** (Recovering from selected causes)
    *
    * ```ts
    * import { Cause, Console, Effect } from "effect"
@@ -5393,7 +5393,7 @@ export const catchCauseIf: {
    * that match a specific predicate. This is useful when you want to handle
    * only certain types of errors while letting others propagate.
    *
-   * **Example** (Usage)
+   * **Example** (Recovering from selected causes)
    *
    * ```ts
    * import { Cause, Console, Effect } from "effect"
@@ -5469,7 +5469,7 @@ export const catchCauseFilter: {
  * @see {@link mapBoth} for a version that operates on both channels.
  * @see {@link mapError} if you want to replace the error with a new one.
  *
- * **Example** (Usage)
+ * **Example** (Transforming the error channel)
  *
  * ```ts
  * import { Data, Effect } from "effect"
@@ -5505,7 +5505,7 @@ export const mapError: {
    * @see {@link mapBoth} for a version that operates on both channels.
    * @see {@link mapError} if you want to replace the error with a new one.
    *
-   * **Example** (Usage)
+   * **Example** (Transforming the error channel)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -5541,7 +5541,7 @@ export const mapError: {
    * @see {@link mapBoth} for a version that operates on both channels.
    * @see {@link mapError} if you want to replace the error with a new one.
    *
-   * **Example** (Usage)
+   * **Example** (Transforming the error channel)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -5576,7 +5576,7 @@ export const mapError: {
  * the error and the success values without altering the overall success or
  * failure status of the effect.
  *
- * **Example** (Usage)
+ * **Example** (Transforming success and failure channels)
  *
  * ```ts
  * import { Data, Effect } from "effect"
@@ -5612,7 +5612,7 @@ export const mapBoth: {
    * the error and the success values without altering the overall success or
    * failure status of the effect.
    *
-   * **Example** (Usage)
+   * **Example** (Transforming success and failure channels)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -5650,7 +5650,7 @@ export const mapBoth: {
    * the error and the success values without altering the overall success or
    * failure status of the effect.
    *
-   * **Example** (Usage)
+   * **Example** (Transforming success and failure channels)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -5692,7 +5692,7 @@ export const mapBoth: {
  *
  * @see {@link mapError} to transform the error before converting it into a defect with {@link orDie}.
  *
- * **Example** (Propagating an Error as a Defect)
+ * **Example** (Converting typed failures into defects)
  *
  * ```ts
  * import { Data, Effect } from "effect"
@@ -5729,7 +5729,7 @@ export const orDie: <A, E, R>(self: Effect<A, E, R>) => Effect<A, never, R> = in
  * operation passed to `tapError` fails, that error is also represented in the
  * returned effect's error channel.
  *
- * **Example** (Usage)
+ * **Example** (Running effects on failure)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -5762,7 +5762,7 @@ export const tapError: {
    * operation passed to `tapError` fails, that error is also represented in the
    * returned effect's error channel.
    *
-   * **Example** (Usage)
+   * **Example** (Running effects on failure)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -5795,7 +5795,7 @@ export const tapError: {
    * operation passed to `tapError` fails, that error is also represented in the
    * returned effect's error channel.
    *
-   * **Example** (Usage)
+   * **Example** (Running effects on failure)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -5827,7 +5827,7 @@ export const tapError: {
  * list of tags. When the handler succeeds, the original failure is preserved;
  * if the handler fails, its error is also included in the returned effect.
  *
- * **Example** (Usage)
+ * **Example** (Running effects for tagged failures)
  *
  * ```ts
  * import { Console, Data, Effect } from "effect"
@@ -5863,7 +5863,7 @@ export const tapErrorTag: {
    * list of tags. When the handler succeeds, the original failure is preserved;
    * if the handler fails, its error is also included in the returned effect.
    *
-   * **Example** (Usage)
+   * **Example** (Running effects for tagged failures)
    *
    * ```ts
    * import { Console, Data, Effect } from "effect"
@@ -5902,7 +5902,7 @@ export const tapErrorTag: {
    * list of tags. When the handler succeeds, the original failure is preserved;
    * if the handler fails, its error is also included in the returned effect.
    *
-   * **Example** (Usage)
+   * **Example** (Running effects for tagged failures)
    *
    * ```ts
    * import { Console, Data, Effect } from "effect"
@@ -5955,7 +5955,7 @@ export const tapErrorTag: {
  * the operation succeeds, the original cause is preserved. If the operation
  * fails, its error is also represented in the returned effect.
  *
- * **Example** (Usage)
+ * **Example** (Observing full failure causes)
  *
  * ```ts
  * import { Cause, Console, Effect } from "effect"
@@ -5986,7 +5986,7 @@ export const tapCause: {
    * the operation succeeds, the original cause is preserved. If the operation
    * fails, its error is also represented in the returned effect.
    *
-   * **Example** (Usage)
+   * **Example** (Observing full failure causes)
    *
    * ```ts
    * import { Cause, Console, Effect } from "effect"
@@ -6017,7 +6017,7 @@ export const tapCause: {
    * the operation succeeds, the original cause is preserved. If the operation
    * fails, its error is also represented in the returned effect.
    *
-   * **Example** (Usage)
+   * **Example** (Observing full failure causes)
    *
    * ```ts
    * import { Cause, Console, Effect } from "effect"
@@ -6047,7 +6047,7 @@ export const tapCause: {
  * the cause matches a specific predicate. This is useful for conditional logging,
  * monitoring, or other side effects based on the type of failure.
  *
- * **Example** (Usage)
+ * **Example** (Observing selected failure causes)
  *
  * ```ts
  * import { Cause, Console, Effect } from "effect"
@@ -6077,7 +6077,7 @@ export const tapCauseIf: {
    * the cause matches a specific predicate. This is useful for conditional logging,
    * monitoring, or other side effects based on the type of failure.
    *
-   * **Example** (Usage)
+   * **Example** (Observing selected failure causes)
    *
    * ```ts
    * import { Cause, Console, Effect } from "effect"
@@ -6110,7 +6110,7 @@ export const tapCauseIf: {
    * the cause matches a specific predicate. This is useful for conditional logging,
    * monitoring, or other side effects based on the type of failure.
    *
-   * **Example** (Usage)
+   * **Example** (Observing selected failure causes)
    *
    * ```ts
    * import { Cause, Console, Effect } from "effect"
@@ -6179,7 +6179,7 @@ export const tapCauseFilter: {
  * operation succeeds, the original defect is preserved; if the operation fails,
  * its error is also represented in the returned effect.
  *
- * **Example** (Usage)
+ * **Example** (Observing defects)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -6227,7 +6227,7 @@ export const tapDefect: {
    * operation succeeds, the original defect is preserved; if the operation fails,
    * its error is also represented in the returned effect.
    *
-   * **Example** (Usage)
+   * **Example** (Observing defects)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -6275,7 +6275,7 @@ export const tapDefect: {
    * operation succeeds, the original defect is preserved; if the operation fails,
    * its error is also represented in the returned effect.
    *
-   * **Example** (Usage)
+   * **Example** (Observing defects)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -6320,7 +6320,7 @@ export const tapDefect: {
  *
  * Yields between attempts so other fibers can run.
  *
- * **Example** (Usage)
+ * **Example** (Retrying until success)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -6421,7 +6421,7 @@ export declare namespace Retry {
  * Use `retry` when typed failures may be transient, such as network issues or
  * temporary resource unavailability.
  *
- * **Example** (Usage)
+ * **Example** (Retrying with a schedule)
  *
  * ```ts
  * import { Data, Effect, Schedule } from "effect"
@@ -6469,7 +6469,7 @@ export const retry: {
    * Use `retry` when typed failures may be transient, such as network issues or
    * temporary resource unavailability.
    *
-   * **Example** (Usage)
+   * **Example** (Retrying with a schedule)
    *
    * ```ts
    * import { Data, Effect, Schedule } from "effect"
@@ -6517,7 +6517,7 @@ export const retry: {
    * Use `retry` when typed failures may be transient, such as network issues or
    * temporary resource unavailability.
    *
-   * **Example** (Usage)
+   * **Example** (Retrying with a schedule)
    *
    * ```ts
    * import { Data, Effect, Schedule } from "effect"
@@ -6565,7 +6565,7 @@ export const retry: {
    * Use `retry` when typed failures may be transient, such as network issues or
    * temporary resource unavailability.
    *
-   * **Example** (Usage)
+   * **Example** (Retrying with a schedule)
    *
    * ```ts
    * import { Data, Effect, Schedule } from "effect"
@@ -6617,7 +6617,7 @@ export const retry: {
    * Use `retry` when typed failures may be transient, such as network issues or
    * temporary resource unavailability.
    *
-   * **Example** (Usage)
+   * **Example** (Retrying with a schedule)
    *
    * ```ts
    * import { Data, Effect, Schedule } from "effect"
@@ -6665,7 +6665,7 @@ export const retry: {
    * Use `retry` when typed failures may be transient, such as network issues or
    * temporary resource unavailability.
    *
-   * **Example** (Usage)
+   * **Example** (Retrying with a schedule)
    *
    * ```ts
    * import { Data, Effect, Schedule } from "effect"
@@ -6713,7 +6713,7 @@ export const retry: {
    * Use `retry` when typed failures may be transient, such as network issues or
    * temporary resource unavailability.
    *
-   * **Example** (Usage)
+   * **Example** (Retrying with a schedule)
    *
    * ```ts
    * import { Data, Effect, Schedule } from "effect"
@@ -6769,7 +6769,7 @@ export const retry: {
  *
  * @see {@link retry} for a version that does not run a fallback effect.
  *
- * **Example** (Usage)
+ * **Example** (Falling back after retries are exhausted)
  *
  * ```ts
  * import { Console, Data, Effect, Schedule } from "effect"
@@ -6827,7 +6827,7 @@ export const retryOrElse: {
    *
    * @see {@link retry} for a version that does not run a fallback effect.
    *
-   * **Example** (Usage)
+   * **Example** (Falling back after retries are exhausted)
    *
    * ```ts
    * import { Console, Data, Effect, Schedule } from "effect"
@@ -6888,7 +6888,7 @@ export const retryOrElse: {
    *
    * @see {@link retry} for a version that does not run a fallback effect.
    *
-   * **Example** (Usage)
+   * **Example** (Falling back after retries are exhausted)
    *
    * ```ts
    * import { Console, Data, Effect, Schedule } from "effect"
@@ -6943,7 +6943,7 @@ export const retryOrElse: {
  * failures, defects, and interruptions. Use `unsandbox` to restore the original
  * typed error channel after cause-level handling.
  *
- * **Example** (Usage)
+ * **Example** (Exposing failures as causes)
  *
  * ```ts
  * import { Cause, Effect } from "effect"
@@ -6981,7 +6981,7 @@ export const sandbox: <A, E, R>(
  * Use the `log` option to emit the full {@link Cause} when the effect fails,
  * and `message` to prepend a custom log message.
  *
- * **Example** (Using Effect.ignore to Discard Values)
+ * **Example** (Discarding success and failure values)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -7032,7 +7032,7 @@ export const ignore: <
  * Use the `log` option to emit the full {@link Cause} when the effect fails,
  * and `message` to prepend a custom log message.
  *
- * **Example** (Usage)
+ * **Example** (Ignoring failures and logging causes)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -7071,7 +7071,7 @@ export const ignoreCause: <
  * and retry timing is derived per step (the first attempt uses the remaining
  * attempts schedule; later retries apply the step schedule at least once).
  *
- * **Example** (Usage)
+ * **Example** (Retrying with an execution plan)
  *
  * ```ts
  * import { Context, Effect, ExecutionPlan, Layer } from "effect"
@@ -7106,7 +7106,7 @@ export const withExecutionPlan: {
    * and retry timing is derived per step (the first attempt uses the remaining
    * attempts schedule; later retries apply the step schedule at least once).
    *
-   * **Example** (Usage)
+   * **Example** (Retrying with an execution plan)
    *
    * ```ts
    * import { Context, Effect, ExecutionPlan, Layer } from "effect"
@@ -7145,7 +7145,7 @@ export const withExecutionPlan: {
    * and retry timing is derived per step (the first attempt uses the remaining
    * attempts schedule; later retries apply the step schedule at least once).
    *
-   * **Example** (Usage)
+   * **Example** (Retrying with an execution plan)
    *
    * ```ts
    * import { Context, Effect, ExecutionPlan, Layer } from "effect"
@@ -7211,7 +7211,7 @@ export const withErrorReporting: <
  *
  * Defects and interruptions are not recovered by this operator.
  *
- * **Example** (Usage)
+ * **Example** (Replacing failures with a value)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -7252,7 +7252,7 @@ export const orElseSucceed: {
    *
    * Defects and interruptions are not recovered by this operator.
    *
-   * **Example** (Usage)
+   * **Example** (Replacing failures with a value)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -7293,7 +7293,7 @@ export const orElseSucceed: {
    *
    * Defects and interruptions are not recovered by this operator.
    *
-   * **Example** (Usage)
+   * **Example** (Replacing failures with a value)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -7341,7 +7341,7 @@ export const orElseSucceed: {
  * attempting multiple APIs, reading configuration from several sources, or
  * trying alternative resource locations in order.
  *
- * **Example** (Usage)
+ * **Example** (Trying alternatives until one succeeds)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -7385,7 +7385,7 @@ export const firstSuccessOf: <Eff extends Effect<any, any, any>>(
  *
  * @see {@link timeoutOrElse} for a version that allows specifying both success and timeout handlers.
  *
- * **Example** (Usage)
+ * **Example** (Failing when work takes too long)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -7435,7 +7435,7 @@ export const timeout: {
    *
    * @see {@link timeoutOrElse} for a version that allows specifying both success and timeout handlers.
    *
-   * **Example** (Usage)
+   * **Example** (Failing when work takes too long)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -7485,7 +7485,7 @@ export const timeout: {
    *
    * @see {@link timeoutOrElse} for a version that allows specifying both success and timeout handlers.
    *
-   * **Example** (Usage)
+   * **Example** (Failing when work takes too long)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -7535,7 +7535,7 @@ export const timeout: {
  * @see {@link timeout} for a version that raises a `TimeoutException`.
  * @see {@link timeoutOrElse} for a version that allows specifying both success and timeout handlers.
  *
- * **Example** (Usage)
+ * **Example** (Returning None on timeout)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -7581,7 +7581,7 @@ export const timeoutOption: {
    * @see {@link timeout} for a version that raises a `TimeoutException`.
    * @see {@link timeoutOrElse} for a version that allows specifying both success and timeout handlers.
    *
-   * **Example** (Usage)
+   * **Example** (Returning None on timeout)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -7627,7 +7627,7 @@ export const timeoutOption: {
    * @see {@link timeout} for a version that raises a `TimeoutException`.
    * @see {@link timeoutOrElse} for a version that allows specifying both success and timeout handlers.
    *
-   * **Example** (Usage)
+   * **Example** (Returning None on timeout)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -7667,7 +7667,7 @@ export const timeoutOption: {
  * This function is useful when you want to set a maximum duration for an operation
  * and provide an alternative action if the timeout is exceeded.
  *
- * **Example** (Usage)
+ * **Example** (Falling back on timeout)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -7705,7 +7705,7 @@ export const timeoutOrElse: {
    * This function is useful when you want to set a maximum duration for an operation
    * and provide an alternative action if the timeout is exceeded.
    *
-   * **Example** (Usage)
+   * **Example** (Falling back on timeout)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -7748,7 +7748,7 @@ export const timeoutOrElse: {
    * This function is useful when you want to set a maximum duration for an operation
    * and provide an alternative action if the timeout is exceeded.
    *
-   * **Example** (Usage)
+   * **Example** (Falling back on timeout)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -7792,7 +7792,7 @@ export const timeoutOrElse: {
  * Returns an effect that is delayed from this effect by the specified
  * `Duration`.
  *
- * **Example** (Usage)
+ * **Example** (Delaying an effect)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -7814,7 +7814,7 @@ export const delay: {
    * Returns an effect that is delayed from this effect by the specified
    * `Duration`.
    *
-   * **Example** (Usage)
+   * **Example** (Delaying an effect)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -7836,7 +7836,7 @@ export const delay: {
    * Returns an effect that is delayed from this effect by the specified
    * `Duration`.
    *
-   * **Example** (Usage)
+   * **Example** (Delaying an effect)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -7860,7 +7860,7 @@ export const delay: {
  * Returns an effect that suspends the current fiber for the specified duration
  * without blocking a JavaScript thread.
  *
- * **Example** (Usage)
+ * **Example** (Pausing without blocking)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -7887,7 +7887,7 @@ export const sleep: (duration: Duration.Input) => Effect<void> = internal.sleep
  * The original success, failure, or interruption is preserved; only the success
  * value is paired with the duration.
  *
- * **Example** (Usage)
+ * **Example** (Measuring execution time)
  *
  * ```ts
  * import { Console, Duration, Effect } from "effect"
@@ -7925,7 +7925,7 @@ export const timed: <A, E, R>(self: Effect<A, E, R>) => Effect<[duration: Durati
  *
  * @see {@link race} for a version that handles only two effects.
  *
- * **Example** (Usage)
+ * **Example** (Racing many effects)
  *
  * ```ts
  * import { Duration, Effect } from "effect"
@@ -7965,7 +7965,7 @@ export const raceAll: <Eff extends Effect<any, any, any>>(
  * `raceAll` when early failures should be ignored until a success occurs or
  * all effects fail.
  *
- * **Example** (Usage)
+ * **Example** (Taking the first settled result)
  *
  * ```ts
  * import { Duration, Effect } from "effect"
@@ -8001,7 +8001,7 @@ export const raceAllFirst: <Eff extends Effect<any, any, any>>(
  * If one effect succeeds, the other is interrupted and `onWinner` can observe the
  * winning fiber. If both fail, the race fails.
  *
- * **Example** (Usage)
+ * **Example** (Racing two effects)
  *
  * ```ts
  * import { Console, Duration, Effect } from "effect"
@@ -8028,7 +8028,7 @@ export const race: {
    * If one effect succeeds, the other is interrupted and `onWinner` can observe the
    * winning fiber. If both fail, the race fails.
    *
-   * **Example** (Usage)
+   * **Example** (Racing two effects)
    *
    * ```ts
    * import { Console, Duration, Effect } from "effect"
@@ -8062,7 +8062,7 @@ export const race: {
    * If one effect succeeds, the other is interrupted and `onWinner` can observe the
    * winning fiber. If both fail, the race fails.
    *
-   * **Example** (Usage)
+   * **Example** (Racing two effects)
    *
    * ```ts
    * import { Console, Duration, Effect } from "effect"
@@ -8099,7 +8099,7 @@ export const race: {
  *
  * The losing effect is interrupted, and `onWinner` can observe the winning fiber.
  *
- * **Example** (Usage)
+ * **Example** (Observing the winning fiber)
  *
  * ```ts
  * import { Console, Duration, Effect } from "effect"
@@ -8129,7 +8129,7 @@ export const raceFirst: {
    *
    * The losing effect is interrupted, and `onWinner` can observe the winning fiber.
    *
-   * **Example** (Usage)
+   * **Example** (Observing the winning fiber)
    *
    * ```ts
    * import { Console, Duration, Effect } from "effect"
@@ -8166,7 +8166,7 @@ export const raceFirst: {
    *
    * The losing effect is interrupted, and `onWinner` can observe the winning fiber.
    *
-   * **Example** (Usage)
+   * **Example** (Observing the winning fiber)
    *
    * ```ts
    * import { Console, Duration, Effect } from "effect"
@@ -8208,7 +8208,7 @@ export const raceFirst: {
  * Filters elements of an iterable using a predicate, refinement, or effectful
  * predicate.
  *
- * **Example** (Usage)
+ * **Example** (Filtering success values)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -8234,7 +8234,7 @@ export const filter: {
    * Filters elements of an iterable using a predicate, refinement, or effectful
    * predicate.
    *
-   * **Example** (Usage)
+   * **Example** (Filtering success values)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -8260,7 +8260,7 @@ export const filter: {
    * Filters elements of an iterable using a predicate, refinement, or effectful
    * predicate.
    *
-   * **Example** (Usage)
+   * **Example** (Filtering success values)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -8286,7 +8286,7 @@ export const filter: {
    * Filters elements of an iterable using a predicate, refinement, or effectful
    * predicate.
    *
-   * **Example** (Usage)
+   * **Example** (Filtering success values)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -8315,7 +8315,7 @@ export const filter: {
    * Filters elements of an iterable using a predicate, refinement, or effectful
    * predicate.
    *
-   * **Example** (Usage)
+   * **Example** (Filtering success values)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -8341,7 +8341,7 @@ export const filter: {
    * Filters elements of an iterable using a predicate, refinement, or effectful
    * predicate.
    *
-   * **Example** (Usage)
+   * **Example** (Filtering success values)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -8367,7 +8367,7 @@ export const filter: {
    * Filters elements of an iterable using a predicate, refinement, or effectful
    * predicate.
    *
-   * **Example** (Usage)
+   * **Example** (Filtering success values)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -8454,7 +8454,7 @@ export const filterMapEffect: {
  * `orElse` effect can produce an alternative value or perform additional
  * computations.
  *
- * **Example** (Usage)
+ * **Example** (Filtering with a fallback effect)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -8486,7 +8486,7 @@ export const filterOrElse: {
    * `orElse` effect can produce an alternative value or perform additional
    * computations.
    *
-   * **Example** (Usage)
+   * **Example** (Filtering with a fallback effect)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -8521,7 +8521,7 @@ export const filterOrElse: {
    * `orElse` effect can produce an alternative value or perform additional
    * computations.
    *
-   * **Example** (Usage)
+   * **Example** (Filtering with a fallback effect)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -8556,7 +8556,7 @@ export const filterOrElse: {
    * `orElse` effect can produce an alternative value or perform additional
    * computations.
    *
-   * **Example** (Usage)
+   * **Example** (Filtering with a fallback effect)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -8592,7 +8592,7 @@ export const filterOrElse: {
    * `orElse` effect can produce an alternative value or perform additional
    * computations.
    *
-   * **Example** (Usage)
+   * **Example** (Filtering with a fallback effect)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -8659,7 +8659,7 @@ export const filterMapOrElse: {
  * predicate evaluates to `false`, the effect fails with either a custom
  * error (if `orFailWith` is provided) or a `NoSuchElementError`.
  *
- * **Example** (Usage)
+ * **Example** (Filtering with a custom failure)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -8690,7 +8690,7 @@ export const filterOrFail: {
    * predicate evaluates to `false`, the effect fails with either a custom
    * error (if `orFailWith` is provided) or a `NoSuchElementError`.
    *
-   * **Example** (Usage)
+   * **Example** (Filtering with a custom failure)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -8724,7 +8724,7 @@ export const filterOrFail: {
    * predicate evaluates to `false`, the effect fails with either a custom
    * error (if `orFailWith` is provided) or a `NoSuchElementError`.
    *
-   * **Example** (Usage)
+   * **Example** (Filtering with a custom failure)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -8758,7 +8758,7 @@ export const filterOrFail: {
    * predicate evaluates to `false`, the effect fails with either a custom
    * error (if `orFailWith` is provided) or a `NoSuchElementError`.
    *
-   * **Example** (Usage)
+   * **Example** (Filtering with a custom failure)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -8789,7 +8789,7 @@ export const filterOrFail: {
    * predicate evaluates to `false`, the effect fails with either a custom
    * error (if `orFailWith` is provided) or a `NoSuchElementError`.
    *
-   * **Example** (Usage)
+   * **Example** (Filtering with a custom failure)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -8820,7 +8820,7 @@ export const filterOrFail: {
    * predicate evaluates to `false`, the effect fails with either a custom
    * error (if `orFailWith` is provided) or a `NoSuchElementError`.
    *
-   * **Example** (Usage)
+   * **Example** (Filtering with a custom failure)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -8855,7 +8855,7 @@ export const filterOrFail: {
    * predicate evaluates to `false`, the effect fails with either a custom
    * error (if `orFailWith` is provided) or a `NoSuchElementError`.
    *
-   * **Example** (Usage)
+   * **Example** (Filtering with a custom failure)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -8890,7 +8890,7 @@ export const filterOrFail: {
    * predicate evaluates to `false`, the effect fails with either a custom
    * error (if `orFailWith` is provided) or a `NoSuchElementError`.
    *
-   * **Example** (Usage)
+   * **Example** (Filtering with a custom failure)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -8921,7 +8921,7 @@ export const filterOrFail: {
    * predicate evaluates to `false`, the effect fails with either a custom
    * error (if `orFailWith` is provided) or a `NoSuchElementError`.
    *
-   * **Example** (Usage)
+   * **Example** (Filtering with a custom failure)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -9006,7 +9006,7 @@ export const filterMapOrFail: {
  * Use this when an effectful check decides whether to run another effect while
  * representing the skipped case explicitly.
  *
- * **Example** (Usage)
+ * **Example** (Conditionally running an effect)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -9049,7 +9049,7 @@ export const when: {
    * Use this when an effectful check decides whether to run another effect while
    * representing the skipped case explicitly.
    *
-   * **Example** (Usage)
+   * **Example** (Conditionally running an effect)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -9092,7 +9092,7 @@ export const when: {
    * Use this when an effectful check decides whether to run another effect while
    * representing the skipped case explicitly.
    *
-   * **Example** (Usage)
+   * **Example** (Conditionally running an effect)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -9139,7 +9139,7 @@ export const when: {
  *
  * @see {@link matchEffect} if you need to perform side effects in the handlers.
  *
- * **Example** (Handling Both Success and Failure Cases)
+ * **Example** (Matching success and failure values)
  *
  * ```ts
  * import { Data, Effect } from "effect"
@@ -9197,7 +9197,7 @@ export const match: {
    *
    * @see {@link matchEffect} if you need to perform side effects in the handlers.
    *
-   * **Example** (Handling Both Success and Failure Cases)
+   * **Example** (Matching success and failure values)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -9260,7 +9260,7 @@ export const match: {
    *
    * @see {@link matchEffect} if you need to perform side effects in the handlers.
    *
-   * **Example** (Handling Both Success and Failure Cases)
+   * **Example** (Matching success and failure values)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -9321,7 +9321,7 @@ export const match: {
  * optimal performance for resolved effects. This is particularly useful in
  * scenarios where you frequently work with already computed values.
  *
- * **Example** (Usage)
+ * **Example** (Pattern matching eagerly when possible)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -9359,7 +9359,7 @@ export const matchEager: {
    * optimal performance for resolved effects. This is particularly useful in
    * scenarios where you frequently work with already computed values.
    *
-   * **Example** (Usage)
+   * **Example** (Pattern matching eagerly when possible)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -9402,7 +9402,7 @@ export const matchEager: {
    * optimal performance for resolved effects. This is particularly useful in
    * scenarios where you frequently work with already computed values.
    *
-   * **Example** (Usage)
+   * **Example** (Pattern matching eagerly when possible)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -9445,7 +9445,7 @@ export const matchEager: {
  * regular failures, defects, or interruptions. You can provide specific
  * handling logic for each failure type based on the cause.
  *
- * **Example** (Usage)
+ * **Example** (Matching on success or failure causes)
  *
  * ```ts
  * import { Cause, Effect } from "effect"
@@ -9483,7 +9483,7 @@ export const matchCause: {
    * regular failures, defects, or interruptions. You can provide specific
    * handling logic for each failure type based on the cause.
    *
-   * **Example** (Usage)
+   * **Example** (Matching on success or failure causes)
    *
    * ```ts
    * import { Cause, Effect } from "effect"
@@ -9526,7 +9526,7 @@ export const matchCause: {
    * regular failures, defects, or interruptions. You can provide specific
    * handling logic for each failure type based on the cause.
    *
-   * **Example** (Usage)
+   * **Example** (Matching on success or failure causes)
    *
    * ```ts
    * import { Cause, Effect } from "effect"
@@ -9573,7 +9573,7 @@ export const matchCause: {
  * and you want to avoid the overhead of the effect pipeline. For pending effects,
  * it automatically falls back to the regular `matchCause` behavior.
  *
- * **Example** (Usage)
+ * **Example** (Eagerly matching already completed effects)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -9603,7 +9603,7 @@ export const matchCauseEager: {
    * and you want to avoid the overhead of the effect pipeline. For pending effects,
    * it automatically falls back to the regular `matchCause` behavior.
    *
-   * **Example** (Usage)
+   * **Example** (Eagerly matching already completed effects)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -9638,7 +9638,7 @@ export const matchCauseEager: {
    * and you want to avoid the overhead of the effect pipeline. For pending effects,
    * it automatically falls back to the regular `matchCause` behavior.
    *
-   * **Example** (Usage)
+   * **Example** (Eagerly matching already completed effects)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -9716,7 +9716,7 @@ export const matchCauseEffectEager: {
  * you to respond accordingly while performing side effects (like logging or
  * other operations).
  *
- * **Example** (Usage)
+ * **Example** (Effectfully matching on causes)
  *
  * ```ts
  * import { Cause, Console, Data, Effect, Result } from "effect"
@@ -9771,7 +9771,7 @@ export const matchCauseEffect: {
    * you to respond accordingly while performing side effects (like logging or
    * other operations).
    *
-   * **Example** (Usage)
+   * **Example** (Effectfully matching on causes)
    *
    * ```ts
    * import { Cause, Console, Data, Effect, Result } from "effect"
@@ -9831,7 +9831,7 @@ export const matchCauseEffect: {
    * you to respond accordingly while performing side effects (like logging or
    * other operations).
    *
-   * **Example** (Usage)
+   * **Example** (Effectfully matching on causes)
    *
    * ```ts
    * import { Cause, Console, Data, Effect, Result } from "effect"
@@ -9898,7 +9898,7 @@ export const matchCauseEffect: {
  * @see {@link match} if you don't need side effects and only want to handle the
  * result or failure.
  *
- * **Example** (Handling Both Success and Failure Cases with Side Effects)
+ * **Example** (Matching success and failure with effectful handlers)
  *
  * ```ts
  * import { Data, Effect } from "effect"
@@ -9959,7 +9959,7 @@ export const matchEffect: {
    * @see {@link match} if you don't need side effects and only want to handle the
    * result or failure.
    *
-   * **Example** (Handling Both Success and Failure Cases with Side Effects)
+   * **Example** (Matching success and failure with effectful handlers)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -10025,7 +10025,7 @@ export const matchEffect: {
    * @see {@link match} if you don't need side effects and only want to handle the
    * result or failure.
    *
-   * **Example** (Handling Both Success and Failure Cases with Side Effects)
+   * **Example** (Matching success and failure with effectful handlers)
    *
    * ```ts
    * import { Data, Effect } from "effect"
@@ -10146,7 +10146,7 @@ export const isSuccess: <A, E, R>(self: Effect<A, E, R>) => Effect<boolean, neve
  * in the effect's environment. This can be useful for debugging, introspection,
  * or when you need to pass the entire context to another function.
  *
- * **Example** (Usage)
+ * **Example** (Reading the full context)
  *
  * ```ts
  * import { Console, Context, Effect, Option } from "effect"
@@ -10187,7 +10187,7 @@ export const context: <R = never>() => Effect<Context.Context<R>, never, R> = in
  * computations based on all available services. This is useful when you need
  * to conditionally execute logic based on what services are available.
  *
- * **Example** (Usage)
+ * **Example** (Deriving values from the context)
  *
  * ```ts
  * import { Console, Context, Effect, Option } from "effect"
@@ -10234,7 +10234,7 @@ export const contextWith: <R, A, E, R2>(
  * to build the layer every time; by default, layers are shared between provide
  * calls.
  *
- * **Example** (Usage)
+ * **Example** (Providing dependencies with a layer)
  *
  * ```ts
  * import { Context, Effect, Layer } from "effect"
@@ -10269,7 +10269,7 @@ export const provide: {
    * to build the layer every time; by default, layers are shared between provide
    * calls.
    *
-   * **Example** (Usage)
+   * **Example** (Providing dependencies with a layer)
    *
    * ```ts
    * import { Context, Effect, Layer } from "effect"
@@ -10315,7 +10315,7 @@ export const provide: {
    * to build the layer every time; by default, layers are shared between provide
    * calls.
    *
-   * **Example** (Usage)
+   * **Example** (Providing dependencies with a layer)
    *
    * ```ts
    * import { Context, Effect, Layer } from "effect"
@@ -10357,7 +10357,7 @@ export const provide: {
    * to build the layer every time; by default, layers are shared between provide
    * calls.
    *
-   * **Example** (Usage)
+   * **Example** (Providing dependencies with a layer)
    *
    * ```ts
    * import { Context, Effect, Layer } from "effect"
@@ -10392,7 +10392,7 @@ export const provide: {
    * to build the layer every time; by default, layers are shared between provide
    * calls.
    *
-   * **Example** (Usage)
+   * **Example** (Providing dependencies with a layer)
    *
    * ```ts
    * import { Context, Effect, Layer } from "effect"
@@ -10437,7 +10437,7 @@ export const provide: {
    * to build the layer every time; by default, layers are shared between provide
    * calls.
    *
-   * **Example** (Usage)
+   * **Example** (Providing dependencies with a layer)
    *
    * ```ts
    * import { Context, Effect, Layer } from "effect"
@@ -10478,7 +10478,7 @@ export const provide: {
    * to build the layer every time; by default, layers are shared between provide
    * calls.
    *
-   * **Example** (Usage)
+   * **Example** (Providing dependencies with a layer)
    *
    * ```ts
    * import { Context, Effect, Layer } from "effect"
@@ -10519,7 +10519,7 @@ export const provide: {
  * that contains all the required services. It removes the provided services
  * from the effect's requirements, making them available to the effect.
  *
- * **Example** (Usage)
+ * **Example** (Providing a complete context)
  *
  * ```ts
  * import { Context, Effect } from "effect"
@@ -10560,7 +10560,7 @@ export const provideContext: {
    * that contains all the required services. It removes the provided services
    * from the effect's requirements, making them available to the effect.
    *
-   * **Example** (Usage)
+   * **Example** (Providing a complete context)
    *
    * ```ts
    * import { Context, Effect } from "effect"
@@ -10601,7 +10601,7 @@ export const provideContext: {
    * that contains all the required services. It removes the provided services
    * from the effect's requirements, making them available to the effect.
    *
-   * **Example** (Usage)
+   * **Example** (Providing a complete context)
    *
    * ```ts
    * import { Context, Effect } from "effect"
@@ -10638,7 +10638,7 @@ export const provideContext: {
 /**
  * Accesses a service from the context.
  *
- * **Example** (Usage)
+ * **Example** (Accessing a required service)
  *
  * ```ts
  * import { Context, Effect } from "effect"
@@ -10670,7 +10670,7 @@ export const service: <I, S>(service: Context.Key<I, S>) => Effect<S, never, I>
  * available, it returns `None`. Unlike `service`, this function does not
  * require the service to be present in the environment.
  *
- * **Example** (Usage)
+ * **Example** (Accessing an optional service)
  *
  * ```ts
  * import { Context, Effect, Option } from "effect"
@@ -10705,7 +10705,7 @@ export const serviceOption: <I, S>(key: Context.Key<I, S>) => Effect<Option<S>>
  * This function allows you to transform the context required by an effect,
  * providing part of the context and leaving the rest to be fulfilled later.
  *
- * **Example** (Usage)
+ * **Example** (Updating the context before running)
  *
  * ```ts
  * import { Context, Effect } from "effect"
@@ -10747,7 +10747,7 @@ export const updateContext: {
    * This function allows you to transform the context required by an effect,
    * providing part of the context and leaving the rest to be fulfilled later.
    *
-   * **Example** (Usage)
+   * **Example** (Updating the context before running)
    *
    * ```ts
    * import { Context, Effect } from "effect"
@@ -10789,7 +10789,7 @@ export const updateContext: {
    * This function allows you to transform the context required by an effect,
    * providing part of the context and leaving the rest to be fulfilled later.
    *
-   * **Example** (Usage)
+   * **Example** (Updating the context before running)
    *
    * ```ts
    * import { Context, Effect } from "effect"
@@ -10835,7 +10835,7 @@ export const updateContext: {
  * The service must be available in the effect's context; `updateService`
  * replaces it for the wrapped effect with the value returned by the updater.
  *
- * **Example** (Usage)
+ * **Example** (Replacing a service for one effect)
  *
  * ```ts
  * import { Console, Context, Effect } from "effect"
@@ -10869,7 +10869,7 @@ export const updateService: {
    * The service must be available in the effect's context; `updateService`
    * replaces it for the wrapped effect with the value returned by the updater.
    *
-   * **Example** (Usage)
+   * **Example** (Replacing a service for one effect)
    *
    * ```ts
    * import { Console, Context, Effect } from "effect"
@@ -10903,7 +10903,7 @@ export const updateService: {
    * The service must be available in the effect's context; `updateService`
    * replaces it for the wrapped effect with the value returned by the updater.
    *
-   * **Example** (Usage)
+   * **Example** (Replacing a service for one effect)
    *
    * ```ts
    * import { Console, Context, Effect } from "effect"
@@ -10944,7 +10944,7 @@ export const updateService: {
  *
  * @see {@link provide} for providing multiple layers to an effect.
  *
- * **Example** (Usage)
+ * **Example** (Providing a service value)
  *
  * ```ts
  * import { Console, Context, Effect } from "effect"
@@ -10991,7 +10991,7 @@ export const provideService: {
    *
    * @see {@link provide} for providing multiple layers to an effect.
    *
-   * **Example** (Usage)
+   * **Example** (Providing a service value)
    *
    * ```ts
    * import { Console, Context, Effect } from "effect"
@@ -11038,7 +11038,7 @@ export const provideService: {
      *
      * @see {@link provide} for providing multiple layers to an effect.
      *
-     * **Example** (Usage)
+     * **Example** (Providing a service value)
      *
      * ```ts
      * import { Console, Context, Effect } from "effect"
@@ -11085,7 +11085,7 @@ export const provideService: {
      *
      * @see {@link provide} for providing multiple layers to an effect.
      *
-     * **Example** (Usage)
+     * **Example** (Providing a service value)
      *
      * ```ts
      * import { Console, Context, Effect } from "effect"
@@ -11133,7 +11133,7 @@ export const provideService: {
    *
    * @see {@link provide} for providing multiple layers to an effect.
    *
-   * **Example** (Usage)
+   * **Example** (Providing a service value)
    *
    * ```ts
    * import { Console, Context, Effect } from "effect"
@@ -11180,7 +11180,7 @@ export const provideService: {
    *
    * @see {@link provide} for providing multiple layers to an effect.
    *
-   * **Example** (Usage)
+   * **Example** (Providing a service value)
    *
    * ```ts
    * import { Console, Context, Effect } from "effect"
@@ -11227,7 +11227,7 @@ export const provideService: {
  * and leaves any other requirements to be provided later. Acquisition failures
  * are included in the returned effect's error channel.
  *
- * **Example** (Usage)
+ * **Example** (Providing a service with an effect)
  *
  * ```ts
  * import { Console, Context, Effect } from "effect"
@@ -11281,7 +11281,7 @@ export const provideServiceEffect: {
    * and leaves any other requirements to be provided later. Acquisition failures
    * are included in the returned effect's error channel.
    *
-   * **Example** (Usage)
+   * **Example** (Providing a service with an effect)
    *
    * ```ts
    * import { Console, Context, Effect } from "effect"
@@ -11335,7 +11335,7 @@ export const provideServiceEffect: {
    * and leaves any other requirements to be provided later. Acquisition failures
    * are included in the returned effect's error channel.
    *
-   * **Example** (Usage)
+   * **Example** (Providing a service with an effect)
    *
    * ```ts
    * import { Console, Context, Effect } from "effect"
@@ -11392,7 +11392,7 @@ export const provideServiceEffect: {
 /**
  * Sets the concurrency level for parallel operations within an effect.
  *
- * **Example** (Usage)
+ * **Example** (Setting local concurrency)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -11429,7 +11429,7 @@ export const withConcurrency: {
   /**
    * Sets the concurrency level for parallel operations within an effect.
    *
-   * **Example** (Usage)
+   * **Example** (Setting local concurrency)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -11466,7 +11466,7 @@ export const withConcurrency: {
   /**
    * Sets the concurrency level for parallel operations within an effect.
    *
-   * **Example** (Usage)
+   * **Example** (Setting local concurrency)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -11505,7 +11505,7 @@ export const withConcurrency: {
 /**
  * Returns the current scope for resource management.
  *
- * **Example** (Usage)
+ * **Example** (Accessing the current scope)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -11541,7 +11541,7 @@ export const scope: Effect<Scope, never, Scope> = internal.scope
  * ensuring that their finalizers are run as soon as this workflow completes
  * execution, whether by success, failure, or interruption.
  *
- * **Example** (Usage)
+ * **Example** (Running a scoped acquisition)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -11575,7 +11575,7 @@ export const scoped: <A, E, R>(
 /**
  * Creates a scoped effect by providing access to the scope.
  *
- * **Example** (Usage)
+ * **Example** (Working with an explicit scope)
  *
  * ```ts
  * import { Console, Effect, Scope } from "effect"
@@ -11628,7 +11628,7 @@ export const scopedWith: <A, E, R>(
  * By default, acquisition is protected by an uninterruptible region. Pass
  * `{ interruptible: true }` to allow the acquisition effect to be interrupted.
  *
- * **Example** (Usage)
+ * **Example** (Acquiring and releasing a resource)
  *
  * ```ts
  * import { Console, Effect, Exit } from "effect"
@@ -11690,7 +11690,7 @@ export const acquireRelease: <A, E, R, R2>(
  *
  * @see [JavaScript `using` declarations](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/using)
  *
- * **Example** (Usage)
+ * **Example** (Acquiring a disposable resource)
  *
  * ```ts
  * import sqlite from "node:sqlite";
@@ -11740,7 +11740,7 @@ export const acquireDisposable: <A extends AsyncDisposable | Disposable, E, R>(
  * is not desired, errors produced by the `release` `Effect` value can be caught
  * and ignored.
  *
- * **Example** (Usage)
+ * **Example** (Using a resource with cleanup)
  *
  * ```ts
  * import { Console, Effect, Exit } from "effect"
@@ -11804,7 +11804,7 @@ export const acquireUseRelease: <Resource, E, R, A, E2, R2, E3, R3>(
  * whether the effect succeeds or fails. They're commonly used for resource
  * cleanup, logging, or other side effects that should always occur.
  *
- * **Example** (Usage)
+ * **Example** (Registering scope finalizers)
  *
  * ```ts
  * import { Console, Effect, Exit } from "effect"
@@ -11852,7 +11852,7 @@ export const addFinalizer: <R>(
  * should generally not be used for releasing resources. For higher-level
  * logic built on `ensuring`, see the `acquireRelease` family of methods.
  *
- * **Example** (Usage)
+ * **Example** (Always running cleanup)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -11893,7 +11893,7 @@ export const ensuring: {
    * should generally not be used for releasing resources. For higher-level
    * logic built on `ensuring`, see the `acquireRelease` family of methods.
    *
-   * **Example** (Usage)
+   * **Example** (Always running cleanup)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -11934,7 +11934,7 @@ export const ensuring: {
    * should generally not be used for releasing resources. For higher-level
    * logic built on `ensuring`, see the `acquireRelease` family of methods.
    *
-   * **Example** (Usage)
+   * **Example** (Always running cleanup)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -11970,7 +11970,7 @@ export const ensuring: {
  * Runs the specified effect if this effect fails, providing the error to the
  * effect if it exists. The provided effect will not be interrupted.
  *
- * **Example** (Usage)
+ * **Example** (Running cleanup on failure)
  *
  * ```ts
  * import { Cause, Console, Data, Effect } from "effect"
@@ -11998,7 +11998,7 @@ export const onError: {
    * Runs the specified effect if this effect fails, providing the error to the
    * effect if it exists. The provided effect will not be interrupted.
    *
-   * **Example** (Usage)
+   * **Example** (Running cleanup on failure)
    *
    * ```ts
    * import { Cause, Console, Data, Effect } from "effect"
@@ -12026,7 +12026,7 @@ export const onError: {
    * Runs the specified effect if this effect fails, providing the error to the
    * effect if it exists. The provided effect will not be interrupted.
    *
-   * **Example** (Usage)
+   * **Example** (Running cleanup on failure)
    *
    * ```ts
    * import { Cause, Console, Data, Effect } from "effect"
@@ -12059,7 +12059,7 @@ export const onError: {
  * Runs the finalizer only when this effect fails and the `Cause` matches the
  * provided predicate.
  *
- * **Example** (Usage)
+ * **Example** (Running cleanup for selected failures)
  *
  * ```ts
  * import { Cause, Console, Effect } from "effect"
@@ -12084,7 +12084,7 @@ export const onErrorIf: {
    * Runs the finalizer only when this effect fails and the `Cause` matches the
    * provided predicate.
    *
-   * **Example** (Usage)
+   * **Example** (Running cleanup for selected failures)
    *
    * ```ts
    * import { Cause, Console, Effect } from "effect"
@@ -12112,7 +12112,7 @@ export const onErrorIf: {
    * Runs the finalizer only when this effect fails and the `Cause` matches the
    * provided predicate.
    *
-   * **Example** (Usage)
+   * **Example** (Running cleanup for selected failures)
    *
    * ```ts
    * import { Cause, Console, Effect } from "effect"
@@ -12191,7 +12191,7 @@ export const onExitPrimitive: <A, E, R, XE = never, XR = never>(
  * Ensures that a cleanup functions runs, whether this effect succeeds, fails,
  * or is interrupted.
  *
- * **Example** (Usage)
+ * **Example** (Observing every exit)
  *
  * ```ts
  * import { Console, Effect, Exit } from "effect"
@@ -12219,7 +12219,7 @@ export const onExit: {
    * Ensures that a cleanup functions runs, whether this effect succeeds, fails,
    * or is interrupted.
    *
-   * **Example** (Usage)
+   * **Example** (Observing every exit)
    *
    * ```ts
    * import { Console, Effect, Exit } from "effect"
@@ -12247,7 +12247,7 @@ export const onExit: {
    * Ensures that a cleanup functions runs, whether this effect succeeds, fails,
    * or is interrupted.
    *
-   * **Example** (Usage)
+   * **Example** (Observing every exit)
    *
    * ```ts
    * import { Console, Effect, Exit } from "effect"
@@ -12277,7 +12277,7 @@ export const onExit: {
  * Runs the cleanup effect only when the `Exit` satisfies the provided
  * predicate.
  *
- * **Example** (Usage)
+ * **Example** (Observing selected exits)
  *
  * ```ts
  * import { Console, Effect, Exit } from "effect"
@@ -12300,7 +12300,7 @@ export const onExitIf: {
    * Runs the cleanup effect only when the `Exit` satisfies the provided
    * predicate.
    *
-   * **Example** (Usage)
+   * **Example** (Observing selected exits)
    *
    * ```ts
    * import { Console, Effect, Exit } from "effect"
@@ -12326,7 +12326,7 @@ export const onExitIf: {
    * Runs the cleanup effect only when the `Exit` satisfies the provided
    * predicate.
    *
-   * **Example** (Usage)
+   * **Example** (Observing selected exits)
    *
    * ```ts
    * import { Console, Effect, Exit } from "effect"
@@ -12408,7 +12408,7 @@ export const onExitFilter: {
  * @see {@link cachedInvalidateWithTTL} for a similar function that includes an
  * additional effect for manually invalidating the cached value.
  *
- * **Example** (Usage)
+ * **Example** (Memoizing an effect until invalidated)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -12483,7 +12483,7 @@ export const cached: <A, E, R>(self: Effect<A, E, R>) => Effect<Effect<A, E, R>>
  * @see {@link cachedInvalidateWithTTL} for a similar function that includes an
  * additional effect for manually invalidating the cached value.
  *
- * **Example** (Usage)
+ * **Example** (Memoizing an effect with TTL)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -12551,7 +12551,7 @@ export const cachedWithTTL: {
    * @see {@link cachedInvalidateWithTTL} for a similar function that includes an
    * additional effect for manually invalidating the cached value.
    *
-   * **Example** (Usage)
+   * **Example** (Memoizing an effect with TTL)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -12619,7 +12619,7 @@ export const cachedWithTTL: {
    * @see {@link cachedInvalidateWithTTL} for a similar function that includes an
    * additional effect for manually invalidating the cached value.
    *
-   * **Example** (Usage)
+   * **Example** (Memoizing an effect with TTL)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -12689,7 +12689,7 @@ export const cachedWithTTL: {
  * @see {@link cachedWithTTL} for a similar function that caches the result for
  * a specified duration but does not include an effect for manual invalidation.
  *
- * **Example** (Usage)
+ * **Example** (Memoizing with TTL and invalidation)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -12760,7 +12760,7 @@ export const cachedInvalidateWithTTL: {
    * @see {@link cachedWithTTL} for a similar function that caches the result for
    * a specified duration but does not include an effect for manual invalidation.
    *
-   * **Example** (Usage)
+   * **Example** (Memoizing with TTL and invalidation)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -12831,7 +12831,7 @@ export const cachedInvalidateWithTTL: {
    * @see {@link cachedWithTTL} for a similar function that caches the result for
    * a specified duration but does not include an effect for manual invalidation.
    *
-   * **Example** (Usage)
+   * **Example** (Memoizing with TTL and invalidation)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -12879,7 +12879,7 @@ export const cachedInvalidateWithTTL: {
 /**
  * Returns an effect that is immediately interrupted.
  *
- * **Example** (Usage)
+ * **Example** (Creating an interrupted effect)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -12901,7 +12901,7 @@ export const interrupt: Effect<never> = internal.interrupt
 /**
  * Returns a new effect that allows the effect to be interruptible.
  *
- * **Example** (Usage)
+ * **Example** (Allowing interruption)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -12925,7 +12925,7 @@ export const interruptible: <A, E, R>(
 /**
  * Runs the specified finalizer effect if this effect is interrupted.
  *
- * **Example** (Usage)
+ * **Example** (Running cleanup on interruption)
  *
  * ```ts
  * import { Console, Effect, Fiber } from "effect"
@@ -12950,7 +12950,7 @@ export const onInterrupt: {
   /**
    * Runs the specified finalizer effect if this effect is interrupted.
    *
-   * **Example** (Usage)
+   * **Example** (Running cleanup on interruption)
    *
    * ```ts
    * import { Console, Effect, Fiber } from "effect"
@@ -12975,7 +12975,7 @@ export const onInterrupt: {
   /**
    * Runs the specified finalizer effect if this effect is interrupted.
    *
-   * **Example** (Usage)
+   * **Example** (Running cleanup on interruption)
    *
    * ```ts
    * import { Console, Effect, Fiber } from "effect"
@@ -13005,7 +13005,7 @@ export const onInterrupt: {
 /**
  * Returns a new effect that disables interruption for the given effect.
  *
- * **Example** (Usage)
+ * **Example** (Preventing interruption)
  *
  * ```ts
  * import { Console, Effect, Fiber } from "effect"
@@ -13034,7 +13034,7 @@ export const uninterruptible: <A, E, R>(
  * Disables interruption and provides a restore function to restore the
  * interruptible state within the effect.
  *
- * **Example** (Usage)
+ * **Example** (Restoring interruption in protected regions)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -13071,7 +13071,7 @@ export const uninterruptibleMask: <A, E, R>(
  * `restore` function. This function can be used to restore the interruptibility
  * of any specific region of code.
  *
- * **Example** (Usage)
+ * **Example** (Controlling interruptibility locally)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -13169,7 +13169,7 @@ export declare namespace Repeat {
 /**
  * Repeats this effect forever (until the first error).
  *
- * **Example** (Usage)
+ * **Example** (Repeating forever)
  *
  * ```ts
  * import { Console, Effect, Fiber } from "effect"
@@ -13232,7 +13232,7 @@ export const forever: <
  * delays, limiting recursions, or dynamically adjusting based on the outcome of
  * each execution.
  *
- * **Example** (Usage)
+ * **Example** (Repeating successful effects with a schedule)
  *
  * ```ts
  * // Success Example
@@ -13245,7 +13245,7 @@ export const forever: <
  * // Effect.runPromise(program).then((n) => console.log(`repetitions: ${n}`))
  * ```
  *
- * **Example** (Usage)
+ * **Example** (Stopping repetition on failure)
  *
  * ```ts
  * // Failure Example
@@ -13297,7 +13297,7 @@ export const repeat: {
    * delays, limiting recursions, or dynamically adjusting based on the outcome of
    * each execution.
    *
-   * **Example** (Usage)
+   * **Example** (Repeating successful effects with a schedule)
    *
    * ```ts
    * // Success Example
@@ -13310,7 +13310,7 @@ export const repeat: {
    * // Effect.runPromise(program).then((n) => console.log(`repetitions: ${n}`))
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Stopping repetition on failure)
    *
    * ```ts
    * // Failure Example
@@ -13362,7 +13362,7 @@ export const repeat: {
    * delays, limiting recursions, or dynamically adjusting based on the outcome of
    * each execution.
    *
-   * **Example** (Usage)
+   * **Example** (Repeating successful effects with a schedule)
    *
    * ```ts
    * // Success Example
@@ -13375,7 +13375,7 @@ export const repeat: {
    * // Effect.runPromise(program).then((n) => console.log(`repetitions: ${n}`))
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Stopping repetition on failure)
    *
    * ```ts
    * // Failure Example
@@ -13427,7 +13427,7 @@ export const repeat: {
    * delays, limiting recursions, or dynamically adjusting based on the outcome of
    * each execution.
    *
-   * **Example** (Usage)
+   * **Example** (Repeating successful effects with a schedule)
    *
    * ```ts
    * // Success Example
@@ -13440,7 +13440,7 @@ export const repeat: {
    * // Effect.runPromise(program).then((n) => console.log(`repetitions: ${n}`))
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Stopping repetition on failure)
    *
    * ```ts
    * // Failure Example
@@ -13496,7 +13496,7 @@ export const repeat: {
    * delays, limiting recursions, or dynamically adjusting based on the outcome of
    * each execution.
    *
-   * **Example** (Usage)
+   * **Example** (Repeating successful effects with a schedule)
    *
    * ```ts
    * // Success Example
@@ -13509,7 +13509,7 @@ export const repeat: {
    * // Effect.runPromise(program).then((n) => console.log(`repetitions: ${n}`))
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Stopping repetition on failure)
    *
    * ```ts
    * // Failure Example
@@ -13561,7 +13561,7 @@ export const repeat: {
    * delays, limiting recursions, or dynamically adjusting based on the outcome of
    * each execution.
    *
-   * **Example** (Usage)
+   * **Example** (Repeating successful effects with a schedule)
    *
    * ```ts
    * // Success Example
@@ -13574,7 +13574,7 @@ export const repeat: {
    * // Effect.runPromise(program).then((n) => console.log(`repetitions: ${n}`))
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Stopping repetition on failure)
    *
    * ```ts
    * // Failure Example
@@ -13629,7 +13629,7 @@ export const repeat: {
    * delays, limiting recursions, or dynamically adjusting based on the outcome of
    * each execution.
    *
-   * **Example** (Usage)
+   * **Example** (Repeating successful effects with a schedule)
    *
    * ```ts
    * // Success Example
@@ -13642,7 +13642,7 @@ export const repeat: {
    * // Effect.runPromise(program).then((n) => console.log(`repetitions: ${n}`))
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Stopping repetition on failure)
    *
    * ```ts
    * // Failure Example
@@ -13690,7 +13690,7 @@ export const repeat: {
  * otherwise it receives `None`. If the schedule completes normally, the
  * returned effect succeeds with the schedule's output.
  *
- * **Example** (Usage)
+ * **Example** (Recovering after repetition stops)
  *
  * ```ts
  * import { Console, Effect, Option, Schedule } from "effect"
@@ -13733,7 +13733,7 @@ export const repeatOrElse: {
    * otherwise it receives `None`. If the schedule completes normally, the
    * returned effect succeeds with the schedule's output.
    *
-   * **Example** (Usage)
+   * **Example** (Recovering after repetition stops)
    *
    * ```ts
    * import { Console, Effect, Option, Schedule } from "effect"
@@ -13779,7 +13779,7 @@ export const repeatOrElse: {
    * otherwise it receives `None`. If the schedule completes normally, the
    * returned effect succeeds with the schedule's output.
    *
-   * **Example** (Usage)
+   * **Example** (Recovering after repetition stops)
    *
    * ```ts
    * import { Console, Effect, Option, Schedule } from "effect"
@@ -13851,7 +13851,7 @@ export const replicate: {
  *
  * Use `concurrency` to control parallelism and `discard: true` to ignore results.
  *
- * **Example** (Usage)
+ * **Example** (Replicating an effect)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -13871,7 +13871,7 @@ export const replicateEffect: {
    *
    * Use `concurrency` to control parallelism and `discard: true` to ignore results.
    *
-   * **Example** (Usage)
+   * **Example** (Replicating an effect)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -13894,7 +13894,7 @@ export const replicateEffect: {
    *
    * Use `concurrency` to control parallelism and `discard: true` to ignore results.
    *
-   * **Example** (Usage)
+   * **Example** (Replicating an effect)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -13917,7 +13917,7 @@ export const replicateEffect: {
    *
    * Use `concurrency` to control parallelism and `discard: true` to ignore results.
    *
-   * **Example** (Usage)
+   * **Example** (Replicating an effect)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -13941,7 +13941,7 @@ export const replicateEffect: {
    *
    * Use `concurrency` to control parallelism and `discard: true` to ignore results.
    *
-   * **Example** (Usage)
+   * **Example** (Replicating an effect)
    *
    * ```ts
    * import { Console, Effect } from "effect"
@@ -13974,7 +13974,7 @@ export const replicateEffect: {
  * fails, and otherwise succeeds with the schedule output when the schedule
  * completes.
  *
- * **Example** (Usage)
+ * **Example** (Scheduling repeated execution)
  *
  * ```ts
  * import { Console, Effect, Schedule } from "effect"
@@ -14017,7 +14017,7 @@ export const schedule: {
    * fails, and otherwise succeeds with the schedule output when the schedule
    * completes.
    *
-   * **Example** (Usage)
+   * **Example** (Scheduling repeated execution)
    *
    * ```ts
    * import { Console, Effect, Schedule } from "effect"
@@ -14060,7 +14060,7 @@ export const schedule: {
    * fails, and otherwise succeeds with the schedule output when the schedule
    * completes.
    *
-   * **Example** (Usage)
+   * **Example** (Scheduling repeated execution)
    *
    * ```ts
    * import { Console, Effect, Schedule } from "effect"
@@ -14108,7 +14108,7 @@ export const schedule: {
  * succeeds with the schedule output when the schedule completes and fails if
  * the effect or schedule fails.
  *
- * **Example** (Usage)
+ * **Example** (Scheduling from an initial value)
  *
  * ```ts
  * import { Console, Effect, Schedule } from "effect"
@@ -14146,7 +14146,7 @@ export const scheduleFrom: {
    * succeeds with the schedule output when the schedule completes and fails if
    * the effect or schedule fails.
    *
-   * **Example** (Usage)
+   * **Example** (Scheduling from an initial value)
    *
    * ```ts
    * import { Console, Effect, Schedule } from "effect"
@@ -14184,7 +14184,7 @@ export const scheduleFrom: {
    * succeeds with the schedule output when the schedule completes and fails if
    * the effect or schedule fails.
    *
-   * **Example** (Usage)
+   * **Example** (Scheduling from an initial value)
    *
    * ```ts
    * import { Console, Effect, Schedule } from "effect"
@@ -14223,7 +14223,7 @@ export const scheduleFrom: {
 /**
  * Returns the current tracer from the context.
  *
- * **Example** (Usage)
+ * **Example** (Accessing the current tracer)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -14243,7 +14243,7 @@ export const tracer: Effect<Tracer> = internal.tracer
 /**
  * Provides a tracer to an effect.
  *
- * **Example** (Usage)
+ * **Example** (Providing a tracer)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -14264,7 +14264,7 @@ export const withTracer: {
   /**
    * Provides a tracer to an effect.
    *
-   * **Example** (Usage)
+   * **Example** (Providing a tracer)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -14285,7 +14285,7 @@ export const withTracer: {
   /**
    * Provides a tracer to an effect.
    *
-   * **Example** (Usage)
+   * **Example** (Providing a tracer)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -14313,7 +14313,7 @@ export const withTracer: {
  * When `enabled` is `false`, spans created inside the effect are not registered
  * with the current tracer and do not propagate as normal trace parents.
  *
- * **Example** (Usage)
+ * **Example** (Enabling or disabling tracing)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -14337,7 +14337,7 @@ export const withTracerEnabled: {
    * When `enabled` is `false`, spans created inside the effect are not registered
    * with the current tracer and do not propagate as normal trace parents.
    *
-   * **Example** (Usage)
+   * **Example** (Enabling or disabling tracing)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -14361,7 +14361,7 @@ export const withTracerEnabled: {
    * When `enabled` is `false`, spans created inside the effect are not registered
    * with the current tracer and do not propagate as normal trace parents.
    *
-   * **Example** (Usage)
+   * **Example** (Enabling or disabling tracing)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -14382,7 +14382,7 @@ export const withTracerEnabled: {
 /**
  * Enables or disables tracer timing for the given Effect.
  *
- * **Example** (Usage)
+ * **Example** (Enabling or disabling tracing timing)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -14401,7 +14401,7 @@ export const withTracerTiming: {
   /**
    * Enables or disables tracer timing for the given Effect.
    *
-   * **Example** (Usage)
+   * **Example** (Enabling or disabling tracing timing)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -14420,7 +14420,7 @@ export const withTracerTiming: {
   /**
    * Enables or disables tracer timing for the given Effect.
    *
-   * **Example** (Usage)
+   * **Example** (Enabling or disabling tracing timing)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -14441,7 +14441,7 @@ export const withTracerTiming: {
 /**
  * Adds an annotation to each span in this effect.
  *
- * **Example** (Usage)
+ * **Example** (Annotating all spans)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -14469,7 +14469,7 @@ export const annotateSpans: {
   /**
    * Adds an annotation to each span in this effect.
    *
-   * **Example** (Usage)
+   * **Example** (Annotating all spans)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -14497,7 +14497,7 @@ export const annotateSpans: {
   /**
    * Adds an annotation to each span in this effect.
    *
-   * **Example** (Usage)
+   * **Example** (Annotating all spans)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -14525,7 +14525,7 @@ export const annotateSpans: {
   /**
    * Adds an annotation to each span in this effect.
    *
-   * **Example** (Usage)
+   * **Example** (Annotating all spans)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -14553,7 +14553,7 @@ export const annotateSpans: {
   /**
    * Adds an annotation to each span in this effect.
    *
-   * **Example** (Usage)
+   * **Example** (Annotating all spans)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -14583,7 +14583,7 @@ export const annotateSpans: {
 /**
  * Adds an annotation to the current span if available.
  *
- * **Example** (Usage)
+ * **Example** (Annotating the current span)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -14608,7 +14608,7 @@ export const annotateCurrentSpan: {
   /**
    * Adds an annotation to the current span if available.
    *
-   * **Example** (Usage)
+   * **Example** (Annotating the current span)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -14633,7 +14633,7 @@ export const annotateCurrentSpan: {
   /**
    * Adds an annotation to the current span if available.
    *
-   * **Example** (Usage)
+   * **Example** (Annotating the current span)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -14665,7 +14665,7 @@ export const annotateCurrentSpan: {
  * The effect fails with `NoSuchElementError` when there is no active local
  * `Span`.
  *
- * **Example** (Usage)
+ * **Example** (Reading the current span)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -14693,7 +14693,7 @@ export const currentSpan: Effect<Span, Cause.NoSuchElementError> = internal.curr
  * present, and fails with `NoSuchElementError` when no parent span is
  * available.
  *
- * **Example** (Usage)
+ * **Example** (Reading the parent span)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -14725,7 +14725,7 @@ export const currentParentSpan: Effect<AnySpan, Cause.NoSuchElementError> = inte
  * These annotations are applied to spans created inside the context, such as
  * spans created by `withSpan`, `useSpan`, or `makeSpan`.
  *
- * **Example** (Usage)
+ * **Example** (Providing span annotations)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -14759,7 +14759,7 @@ export const spanAnnotations: Effect<Readonly<Record<string, unknown>>> = intern
  * These links are attached to spans created inside the context. Span links
  * connect related spans without making one span the parent of another.
  *
- * **Example** (Usage)
+ * **Example** (Providing span links)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -14784,7 +14784,7 @@ export const spanLinks: Effect<ReadonlyArray<SpanLink>> = internal.spanLinks
  * parent-child relationship. For example, you might want to link spans from
  * parallel operations or connect spans across different traces.
  *
- * **Example** (Usage)
+ * **Example** (Linking one span to another span)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -14807,7 +14807,7 @@ export const spanLinks: Effect<ReadonlyArray<SpanLink>> = internal.spanLinks
  * })
  * ```
  *
- * **Example** (Usage)
+ * **Example** (Linking multiple spans at once)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -14837,7 +14837,7 @@ export const linkSpans: {
    * parent-child relationship. For example, you might want to link spans from
    * parallel operations or connect spans across different traces.
    *
-   * **Example** (Usage)
+   * **Example** (Linking one span to another span)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -14860,7 +14860,7 @@ export const linkSpans: {
    * })
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Linking multiple spans at once)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -14893,7 +14893,7 @@ export const linkSpans: {
    * parent-child relationship. For example, you might want to link spans from
    * parallel operations or connect spans across different traces.
    *
-   * **Example** (Usage)
+   * **Example** (Linking one span to another span)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -14916,7 +14916,7 @@ export const linkSpans: {
    * })
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Linking multiple spans at once)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -14954,7 +14954,7 @@ export const linkSpans: {
  * automatically. Use `withSpan`, `useSpan`, or `makeSpanScoped` when the span
  * should be installed as context or closed automatically.
  *
- * **Example** (Usage)
+ * **Example** (Creating a span manually)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -14978,7 +14978,7 @@ export const makeSpan: (name: string, options?: SpanOptionsNoTrace) => Effect<Sp
  * The span is not added to the current span stack, so no child spans will be
  * created for it.
  *
- * **Example** (Usage)
+ * **Example** (Creating a scoped standalone span)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -15008,7 +15008,7 @@ export const makeSpanScoped: (
  * The span is not added to the current span stack, so no child spans will be
  * created for it.
  *
- * **Example** (Usage)
+ * **Example** (Running an effect with a standalone span)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -15034,7 +15034,7 @@ export const useSpan: {
    * The span is not added to the current span stack, so no child spans will be
    * created for it.
    *
-   * **Example** (Usage)
+   * **Example** (Running an effect with a standalone span)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -15060,7 +15060,7 @@ export const useSpan: {
    * The span is not added to the current span stack, so no child spans will be
    * created for it.
    *
-   * **Example** (Usage)
+   * **Example** (Running an effect with a standalone span)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -15088,7 +15088,7 @@ export const useSpan: {
 /**
  * Wraps the effect with a new span for tracing.
  *
- * **Example** (Usage)
+ * **Example** (Wrapping an effect in a child span)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -15110,7 +15110,7 @@ export const withSpan: {
   /**
    * Wraps the effect with a new span for tracing.
    *
-   * **Example** (Usage)
+   * **Example** (Wrapping an effect in a child span)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -15139,7 +15139,7 @@ export const withSpan: {
   /**
    * Wraps the effect with a new span for tracing.
    *
-   * **Example** (Usage)
+   * **Example** (Wrapping an effect in a child span)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -15165,7 +15165,7 @@ export const withSpan: {
  *
  * The span is ended when the Scope is finalized.
  *
- * **Example** (Usage)
+ * **Example** (Creating a scoped child span)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -15188,7 +15188,7 @@ export const withSpanScoped: {
    *
    * The span is ended when the Scope is finalized.
    *
-   * **Example** (Usage)
+   * **Example** (Creating a scoped child span)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -15213,7 +15213,7 @@ export const withSpanScoped: {
    *
    * The span is ended when the Scope is finalized.
    *
-   * **Example** (Usage)
+   * **Example** (Creating a scoped child span)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -15236,7 +15236,7 @@ export const withSpanScoped: {
 /**
  * Adds the provided span to the current span stack.
  *
- * **Example** (Usage)
+ * **Example** (Setting a parent span)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -15256,7 +15256,7 @@ export const withParentSpan: {
   /**
    * Adds the provided span to the current span stack.
    *
-   * **Example** (Usage)
+   * **Example** (Setting a parent span)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -15276,7 +15276,7 @@ export const withParentSpan: {
   /**
    * Adds the provided span to the current span stack.
    *
-   * **Example** (Usage)
+   * **Example** (Setting a parent span)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -15305,7 +15305,7 @@ export const withParentSpan: {
  * @category Requests & Batching
  * @since 2.0.0
  *
- * **Example** (Usage)
+ * **Example** (Executing a request through a resolver)
  *
  * ```ts
  * import { Console, Effect, Exit, Request, RequestResolver } from "effect"
@@ -15341,7 +15341,7 @@ export const request: {
    * @category Requests & Batching
    * @since 2.0.0
    *
-   * **Example** (Usage)
+   * **Example** (Executing a request through a resolver)
    *
    * ```ts
    * import { Console, Effect, Exit, Request, RequestResolver } from "effect"
@@ -15377,7 +15377,7 @@ export const request: {
    * @category Requests & Batching
    * @since 2.0.0
    *
-   * **Example** (Usage)
+   * **Example** (Executing a request through a resolver)
    *
    * ```ts
    * import { Console, Effect, Exit, Request, RequestResolver } from "effect"
@@ -15448,7 +15448,7 @@ export const requestUnsafe: <A extends Request.Any>(
  * fibers leak. This behavior is called "auto supervision", and if this
  * behavior is not desired, you may use the `forkDetach` or `forkIn` methods.
  *
- * **Example** (Usage)
+ * **Example** (Forking a child fiber)
  *
  * ```ts
  * import { Effect, Fiber } from "effect"
@@ -15495,7 +15495,7 @@ export const forkChild: <
  * Forks the effect in the specified scope. The fiber will be interrupted
  * when the scope is closed.
  *
- * **Example** (Usage)
+ * **Example** (Forking into a supplied scope)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -15524,7 +15524,7 @@ export const forkIn: {
    * Forks the effect in the specified scope. The fiber will be interrupted
    * when the scope is closed.
    *
-   * **Example** (Usage)
+   * **Example** (Forking into a supplied scope)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -15559,7 +15559,7 @@ export const forkIn: {
    * Forks the effect in the specified scope. The fiber will be interrupted
    * when the scope is closed.
    *
-   * **Example** (Usage)
+   * **Example** (Forking into a supplied scope)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -15596,7 +15596,7 @@ export const forkIn: {
 /**
  * Forks the fiber in a `Scope`, interrupting it when the scope is closed.
  *
- * **Example** (Usage)
+ * **Example** (Forking into the current scope)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -15648,7 +15648,7 @@ export const forkScoped: <
  * new fiber is attached to the global scope, when the fiber executing the
  * returned effect terminates, the forked fiber will continue running.
  *
- * **Example** (Usage)
+ * **Example** (Forking a detached fiber)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -15705,7 +15705,7 @@ export const awaitAllChildren: <A, E, R>(self: Effect<A, E, R>) => Effect<A, E,
 /**
  * Access the fiber currently executing the effect.
  *
- * **Example** (Usage)
+ * **Example** (Accessing the current fiber)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -15724,7 +15724,7 @@ export const fiber: Effect<Fiber<unknown, unknown>> = internal.fiber
 /**
  * Access the current fiber id executing the effect.
  *
- * **Example** (Usage)
+ * **Example** (Accessing the current fiber id)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -15776,7 +15776,7 @@ export interface RunOptions {
  * Unless you specifically need a `Promise` or synchronous operation,
  * `runFork` is a good default choice.
  *
- * **Example** (Running an Effect in the Background)
+ * **Example** (Running an effect in the background)
  *
  * ```ts
  * import { Console, Effect, Fiber, Schedule } from "effect"
@@ -15806,7 +15806,7 @@ export const runFork: <A, E>(effect: Effect<A, E, never>, options?: RunOptions |
 /**
  * Runs an effect in the background with the provided services.
  *
- * **Example** (Usage)
+ * **Example** (Running with services in the background)
  *
  * ```ts
  * import { Context, Effect } from "effect"
@@ -15842,7 +15842,7 @@ export const runForkWith: <R>(
  *
  * The returned interruptor calls `fiber.interruptUnsafe`, optionally with an interruptor id.
  *
- * **Example** (Usage)
+ * **Example** (Running with services and a callback)
  *
  * ```ts
  * import { Console, Context, Effect, Exit } from "effect"
@@ -15892,7 +15892,7 @@ export const runCallbackWith: <R>(
  * The interruptor calls `fiber.interruptUnsafe` with the optional interruptor
  * id.
  *
- * **Example** (Usage)
+ * **Example** (Running with a callback)
  *
  * ```ts
  * import { Console, Effect, Exit } from "effect"
@@ -15942,7 +15942,7 @@ export const runCallback: <A, E>(
  *
  * @see {@link runPromiseExit} for a version that returns an `Exit` type instead of rejecting.
  *
- * **Example** (Running a Successful Effect as a Promise)
+ * **Example** (Running a successful effect as a Promise)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -15951,7 +15951,7 @@ export const runCallback: <A, E>(
  * // Output: 1
  * ```
  *
- * **Example** (Usage)
+ * **Example** (Running effects as promises)
  *
  * ```ts
  * //Example: Handling a Failing Effect as a Rejected Promise
@@ -15973,7 +15973,7 @@ export const runPromise: <A, E>(
 /**
  * Executes an effect as a Promise with the provided services.
  *
- * **Example** (Usage)
+ * **Example** (Running with services as a promise)
  *
  * ```ts
  * import { Context, Effect } from "effect"
@@ -16019,7 +16019,7 @@ export const runPromiseWith: <R>(
  * - If it fails, the failure information is provided as a `Failure` containing
  *   a `Cause` type.
  *
- * **Example** (Handling Results as Exit)
+ * **Example** (Observing promise results as Exit)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -16058,7 +16058,7 @@ export const runPromiseExit: <A, E>(
 /**
  * Runs an effect and returns a Promise of Exit with provided services.
  *
- * **Example** (Usage)
+ * **Example** (Running with services as an Exit promise)
  *
  * ```ts
  * import { Context, Effect, Exit } from "effect"
@@ -16109,7 +16109,7 @@ export const runPromiseExitWith: <R>(
  * @see {@link runSyncExit} for a version that returns an `Exit` type instead of
  * throwing an error.
  *
- * **Example** (Synchronous Logging)
+ * **Example** (Running a synchronous effect)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -16126,7 +16126,7 @@ export const runPromiseExitWith: <R>(
  * // Output: 1
  * ```
  *
- * **Example** (Incorrect Usage with Failing or Async Effects)
+ * **Example** (Throwing for failed or async effects)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -16158,7 +16158,7 @@ export const runSync: <A, E>(effect: Effect<A, E>) => A = internal.runSync
 /**
  * Executes an effect synchronously with provided services.
  *
- * **Example** (Usage)
+ * **Example** (Running synchronously with services)
  *
  * ```ts
  * import { Context, Effect } from "effect"
@@ -16209,7 +16209,7 @@ export const runSyncWith: <R>(
  * return an `Failure` with a `Die` cause, indicating that the effect cannot be
  * resolved synchronously.
  *
- * **Example** (Handling Results as Exit)
+ * **Example** (Observing synchronous results as Exit)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -16235,7 +16235,7 @@ export const runSyncWith: <R>(
  * // }
  * ```
  *
- * **Example** (Asynchronous Operation Resulting in Die)
+ * **Example** (Capturing async work as a Die cause)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -16265,7 +16265,7 @@ export const runSyncExit: <A, E>(effect: Effect<A, E>) => Exit.Exit<A, E> = inte
 /**
  * Runs an effect synchronously with provided services, returning an Exit result.
  *
- * **Example** (Usage)
+ * **Example** (Running synchronously with services as Exit)
  *
  * ```ts
  * import { Context, Effect, Exit } from "effect"
@@ -20362,7 +20362,7 @@ export namespace fn {
  *
  * `Effect.fnUntraced` also acts as a `pipe` function, so you can append transforms after the body.
  *
- * **Example** (Usage)
+ * **Example** (Defining untraced effect functions)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -20385,7 +20385,7 @@ export const fnUntraced: fn.Untraced = internal.fnUntraced
  *
  * Pipeable functions run after the body and can transform the resulting Effect.
  *
- * **Example** (Usage)
+ * **Example** (Defining traced effect functions)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -20420,7 +20420,7 @@ export const fn: fn.Traced & {
  * Retrieves the `Clock` service from the context and provides it to the
  * specified effectful function.
  *
- * **Example** (Usage)
+ * **Example** (Accessing the Clock service)
  *
  * ```ts
  * import { Console, Effect } from "effect"
@@ -20454,7 +20454,7 @@ export const clockWith: <A, E, R>(
  * If no level is provided, the logger uses the fiber's current log level and
  * extracts any `Cause` values from the message list.
  *
- * **Example** (Usage)
+ * **Example** (Logging at a dynamic level)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -20475,7 +20475,7 @@ export const logWithLevel: (level?: Severity) => (...message: ReadonlyArray<any>
 /**
  * Logs one or more messages using the default log level.
  *
- * **Example** (Usage)
+ * **Example** (Logging at the default level)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -20504,7 +20504,7 @@ export const log: (...message: ReadonlyArray<any>) => Effect<void> = internal.lo
 /**
  * Logs one or more messages at the FATAL level.
  *
- * **Example** (Usage)
+ * **Example** (Logging fatal messages)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -20534,7 +20534,7 @@ export const logFatal: (...message: ReadonlyArray<any>) => Effect<void> = intern
 /**
  * Logs one or more messages at the WARNING level.
  *
- * **Example** (Usage)
+ * **Example** (Logging warnings)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -20565,7 +20565,7 @@ export const logWarning: (...message: ReadonlyArray<any>) => Effect<void> = inte
 /**
  * Logs one or more messages at the ERROR level.
  *
- * **Example** (Usage)
+ * **Example** (Logging errors)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -20599,7 +20599,7 @@ export const logError: (...message: ReadonlyArray<any>) => Effect<void> = intern
 /**
  * Logs one or more messages at the INFO level.
  *
- * **Example** (Usage)
+ * **Example** (Logging information)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -20628,7 +20628,7 @@ export const logInfo: (...message: ReadonlyArray<any>) => Effect<void> = interna
 /**
  * Logs one or more messages at the DEBUG level.
  *
- * **Example** (Usage)
+ * **Example** (Logging debug messages)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -20658,7 +20658,7 @@ export const logDebug: (...message: ReadonlyArray<any>) => Effect<void> = intern
 /**
  * Logs one or more messages at the TRACE level.
  *
- * **Example** (Usage)
+ * **Example** (Logging trace messages)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -20691,7 +20691,7 @@ export const logTrace: (...message: ReadonlyArray<any>) => Effect<void> = intern
 /**
  * Adds a logger to the set of loggers which will output logs for this effect.
  *
- * **Example** (Usage)
+ * **Example** (Adding a logger to an effect)
  *
  * ```ts
  * import { Effect, Logger } from "effect"
@@ -20720,7 +20720,7 @@ export const withLogger = dual<
   /**
    * Adds a logger to the set of loggers which will output logs for this effect.
    *
-   * **Example** (Usage)
+   * **Example** (Adding a logger to an effect)
    *
    * ```ts
    * import { Effect, Logger } from "effect"
@@ -20749,7 +20749,7 @@ export const withLogger = dual<
   /**
    * Adds a logger to the set of loggers which will output logs for this effect.
    *
-   * **Example** (Usage)
+   * **Example** (Adding a logger to an effect)
    *
    * ```ts
    * import { Effect, Logger } from "effect"
@@ -20785,7 +20785,7 @@ export const withLogger = dual<
 /**
  * Adds an annotation to each log line in this effect.
  *
- * **Example** (Usage)
+ * **Example** (Adding log annotations)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -20816,7 +20816,7 @@ export const annotateLogs = dual<
   /**
    * Adds an annotation to each log line in this effect.
    *
-   * **Example** (Usage)
+   * **Example** (Adding log annotations)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -20855,7 +20855,7 @@ export const annotateLogs = dual<
   /**
    * Adds an annotation to each log line in this effect.
    *
-   * **Example** (Usage)
+   * **Example** (Adding log annotations)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -20917,7 +20917,7 @@ export const annotateLogs = dual<
  * `annotateLogsScoped` updates annotations for the entire current `Scope` and
  * restores the previous annotations when the scope closes.
  *
- * **Example** (Usage)
+ * **Example** (Adding scoped log annotations)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -20944,7 +20944,7 @@ export const annotateLogsScoped: {
    * `annotateLogsScoped` updates annotations for the entire current `Scope` and
    * restores the previous annotations when the scope closes.
    *
-   * **Example** (Usage)
+   * **Example** (Adding scoped log annotations)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -20971,7 +20971,7 @@ export const annotateLogsScoped: {
    * `annotateLogsScoped` updates annotations for the entire current `Scope` and
    * restores the previous annotations when the scope closes.
    *
-   * **Example** (Usage)
+   * **Example** (Adding scoped log annotations)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -20996,7 +20996,7 @@ export const annotateLogsScoped: {
 /**
  * Adds a span to each log line in this effect.
  *
- * **Example** (Usage)
+ * **Example** (Adding a log span)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -21028,7 +21028,7 @@ export const withLogSpan = dual<
   /**
    * Adds a span to each log line in this effect.
    *
-   * **Example** (Usage)
+   * **Example** (Adding a log span)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -21060,7 +21060,7 @@ export const withLogSpan = dual<
   /**
    * Adds a span to each log line in this effect.
    *
-   * **Example** (Usage)
+   * **Example** (Adding a log span)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -21109,7 +21109,7 @@ export const withLogSpan = dual<
  * Also accepts an optional function which can be used to map the `Exit` value
  * of the `Effect` into a valid `Input` for the `Metric`.
  *
- * **Example** (Usage)
+ * **Example** (Incrementing a metric for each execution)
  *
  * ```ts
  * import { Effect, Metric } from "effect"
@@ -21129,7 +21129,7 @@ export const withLogSpan = dual<
  * )
  * ```
  *
- * **Example** (Usage)
+ * **Example** (Mapping exits before updating a metric)
  *
  * ```ts
  * import { Effect, Exit, Metric } from "effect"
@@ -21164,7 +21164,7 @@ export const track: {
    * Also accepts an optional function which can be used to map the `Exit` value
    * of the `Effect` into a valid `Input` for the `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Incrementing a metric for each execution)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -21184,7 +21184,7 @@ export const track: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping exits before updating a metric)
    *
    * ```ts
    * import { Effect, Exit, Metric } from "effect"
@@ -21219,7 +21219,7 @@ export const track: {
    * Also accepts an optional function which can be used to map the `Exit` value
    * of the `Effect` into a valid `Input` for the `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Incrementing a metric for each execution)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -21239,7 +21239,7 @@ export const track: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping exits before updating a metric)
    *
    * ```ts
    * import { Effect, Exit, Metric } from "effect"
@@ -21274,7 +21274,7 @@ export const track: {
    * Also accepts an optional function which can be used to map the `Exit` value
    * of the `Effect` into a valid `Input` for the `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Incrementing a metric for each execution)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -21294,7 +21294,7 @@ export const track: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping exits before updating a metric)
    *
    * ```ts
    * import { Effect, Exit, Metric } from "effect"
@@ -21333,7 +21333,7 @@ export const track: {
    * Also accepts an optional function which can be used to map the `Exit` value
    * of the `Effect` into a valid `Input` for the `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Incrementing a metric for each execution)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -21353,7 +21353,7 @@ export const track: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping exits before updating a metric)
    *
    * ```ts
    * import { Effect, Exit, Metric } from "effect"
@@ -21401,7 +21401,7 @@ export const track: {
  * Also accepts an optional function which can be used to map the success value
  * of the `Effect` into a valid `Input` for the `Metric`.
  *
- * **Example** (Usage)
+ * **Example** (Counting successful results)
  *
  * ```ts
  * import { Effect, Metric } from "effect"
@@ -21420,7 +21420,7 @@ export const track: {
  * )
  * ```
  *
- * **Example** (Usage)
+ * **Example** (Mapping successes before tracking)
  *
  * ```ts
  * import { Effect, Metric } from "effect"
@@ -21449,7 +21449,7 @@ export const trackSuccesses: {
    * Also accepts an optional function which can be used to map the success value
    * of the `Effect` into a valid `Input` for the `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Counting successful results)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -21468,7 +21468,7 @@ export const trackSuccesses: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping successes before tracking)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -21497,7 +21497,7 @@ export const trackSuccesses: {
    * Also accepts an optional function which can be used to map the success value
    * of the `Effect` into a valid `Input` for the `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Counting successful results)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -21516,7 +21516,7 @@ export const trackSuccesses: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping successes before tracking)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -21545,7 +21545,7 @@ export const trackSuccesses: {
    * Also accepts an optional function which can be used to map the success value
    * of the `Effect` into a valid `Input` for the `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Counting successful results)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -21564,7 +21564,7 @@ export const trackSuccesses: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping successes before tracking)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -21597,7 +21597,7 @@ export const trackSuccesses: {
    * Also accepts an optional function which can be used to map the success value
    * of the `Effect` into a valid `Input` for the `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Counting successful results)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -21616,7 +21616,7 @@ export const trackSuccesses: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping successes before tracking)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -21658,7 +21658,7 @@ export const trackSuccesses: {
  * Also accepts an optional function which can be used to map the error value
  * of the `Effect` into a valid `Input` for the `Metric`.
  *
- * **Example** (Usage)
+ * **Example** (Counting expected failures)
  *
  * ```ts
  * import { Effect, Metric } from "effect"
@@ -21677,7 +21677,7 @@ export const trackSuccesses: {
  * )
  * ```
  *
- * **Example** (Usage)
+ * **Example** (Mapping errors before tracking)
  *
  * ```ts
  * import { Data, Effect, Metric } from "effect"
@@ -21708,7 +21708,7 @@ export const trackErrors: {
    * Also accepts an optional function which can be used to map the error value
    * of the `Effect` into a valid `Input` for the `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Counting expected failures)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -21727,7 +21727,7 @@ export const trackErrors: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping errors before tracking)
    *
    * ```ts
    * import { Data, Effect, Metric } from "effect"
@@ -21758,7 +21758,7 @@ export const trackErrors: {
    * Also accepts an optional function which can be used to map the error value
    * of the `Effect` into a valid `Input` for the `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Counting expected failures)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -21777,7 +21777,7 @@ export const trackErrors: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping errors before tracking)
    *
    * ```ts
    * import { Data, Effect, Metric } from "effect"
@@ -21808,7 +21808,7 @@ export const trackErrors: {
    * Also accepts an optional function which can be used to map the error value
    * of the `Effect` into a valid `Input` for the `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Counting expected failures)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -21827,7 +21827,7 @@ export const trackErrors: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping errors before tracking)
    *
    * ```ts
    * import { Data, Effect, Metric } from "effect"
@@ -21862,7 +21862,7 @@ export const trackErrors: {
    * Also accepts an optional function which can be used to map the error value
    * of the `Effect` into a valid `Input` for the `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Counting expected failures)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -21881,7 +21881,7 @@ export const trackErrors: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping errors before tracking)
    *
    * ```ts
    * import { Data, Effect, Metric } from "effect"
@@ -21925,7 +21925,7 @@ export const trackErrors: {
  * Also accepts an optional function which can be used to map the defect value
  * of the `Effect` into a valid `Input` for the `Metric`.
  *
- * **Example** (Usage)
+ * **Example** (Counting defects)
  *
  * ```ts
  * import { Effect, Metric } from "effect"
@@ -21944,7 +21944,7 @@ export const trackErrors: {
  * )
  * ```
  *
- * **Example** (Usage)
+ * **Example** (Mapping defects before tracking)
  *
  * ```ts
  * import { Effect, Metric } from "effect"
@@ -21976,7 +21976,7 @@ export const trackDefects: {
    * Also accepts an optional function which can be used to map the defect value
    * of the `Effect` into a valid `Input` for the `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Counting defects)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -21995,7 +21995,7 @@ export const trackDefects: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping defects before tracking)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -22027,7 +22027,7 @@ export const trackDefects: {
    * Also accepts an optional function which can be used to map the defect value
    * of the `Effect` into a valid `Input` for the `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Counting defects)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -22046,7 +22046,7 @@ export const trackDefects: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping defects before tracking)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -22078,7 +22078,7 @@ export const trackDefects: {
    * Also accepts an optional function which can be used to map the defect value
    * of the `Effect` into a valid `Input` for the `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Counting defects)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -22097,7 +22097,7 @@ export const trackDefects: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping defects before tracking)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -22133,7 +22133,7 @@ export const trackDefects: {
    * Also accepts an optional function which can be used to map the defect value
    * of the `Effect` into a valid `Input` for the `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Counting defects)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -22152,7 +22152,7 @@ export const trackDefects: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping defects before tracking)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -22194,7 +22194,7 @@ export const trackDefects: {
  * that the wrapped `Effect` took to complete into a valid `Input` for the
  * `Metric`.
  *
- * **Example** (Usage)
+ * **Example** (Recording execution duration)
  *
  * ```ts
  * import { Effect, Metric } from "effect"
@@ -22211,7 +22211,7 @@ export const trackDefects: {
  * )
  * ```
  *
- * **Example** (Usage)
+ * **Example** (Mapping duration before tracking)
  *
  * ```ts
  * import { Duration, Effect, Metric } from "effect"
@@ -22241,7 +22241,7 @@ export const trackDuration: {
    * that the wrapped `Effect` took to complete into a valid `Input` for the
    * `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Recording execution duration)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -22258,7 +22258,7 @@ export const trackDuration: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping duration before tracking)
    *
    * ```ts
    * import { Duration, Effect, Metric } from "effect"
@@ -22291,7 +22291,7 @@ export const trackDuration: {
    * that the wrapped `Effect` took to complete into a valid `Input` for the
    * `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Recording execution duration)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -22308,7 +22308,7 @@ export const trackDuration: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping duration before tracking)
    *
    * ```ts
    * import { Duration, Effect, Metric } from "effect"
@@ -22338,7 +22338,7 @@ export const trackDuration: {
    * that the wrapped `Effect` took to complete into a valid `Input` for the
    * `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Recording execution duration)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -22355,7 +22355,7 @@ export const trackDuration: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping duration before tracking)
    *
    * ```ts
    * import { Duration, Effect, Metric } from "effect"
@@ -22389,7 +22389,7 @@ export const trackDuration: {
    * that the wrapped `Effect` took to complete into a valid `Input` for the
    * `Metric`.
    *
-   * **Example** (Usage)
+   * **Example** (Recording execution duration)
    *
    * ```ts
    * import { Effect, Metric } from "effect"
@@ -22406,7 +22406,7 @@ export const trackDuration: {
    * )
    * ```
    *
-   * **Example** (Usage)
+   * **Example** (Mapping duration before tracking)
    *
    * ```ts
    * import { Duration, Effect, Metric } from "effect"
@@ -22459,7 +22459,7 @@ export const trackDuration: {
  * - a journal that stores any non committed change to TxRef values
  * - a retry flag to know if the transaction should be retried
  *
- * **Example** (Usage)
+ * **Example** (Building transactions)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -22507,7 +22507,7 @@ export class Transaction extends Context.Service<
  * The outermost `tx` call creates the transaction boundary and commits or rolls back the full
  * composed transaction.
  *
- * **Example** (Usage)
+ * **Example** (Running a transaction)
  *
  * ```ts
  * import { Effect, TxRef } from "effect"
@@ -22629,7 +22629,7 @@ function clearTransaction(state: Transaction["Service"]) {
  * @category Transactions
  * @since 4.0.0
  *
- * **Example** (Usage)
+ * **Example** (Retrying transactions)
  *
  * ```ts
  * import { Effect, TxRef } from "effect"
@@ -22923,7 +22923,7 @@ export declare namespace Effectify {
  * callback errors and `onSyncError` to turn synchronous throws into typed
  * failures; otherwise synchronous throws become defects.
  *
- * **Example** (Basic Usage)
+ * **Example** (Converting callbacks to effects)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -22939,7 +22939,7 @@ export declare namespace Effectify {
  * // Output: contents of package.json
  * ```
  *
- * **Example** (Custom Error Handling)
+ * **Example** (Mapping callback errors to typed failures)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -22972,7 +22972,7 @@ export const effectify: {
    * callback errors and `onSyncError` to turn synchronous throws into typed
    * failures; otherwise synchronous throws become defects.
    *
-   * **Example** (Basic Usage)
+   * **Example** (Converting callbacks to effects)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -22988,7 +22988,7 @@ export const effectify: {
    * // Output: contents of package.json
    * ```
    *
-   * **Example** (Custom Error Handling)
+   * **Example** (Mapping callback errors to typed failures)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -23021,7 +23021,7 @@ export const effectify: {
    * callback errors and `onSyncError` to turn synchronous throws into typed
    * failures; otherwise synchronous throws become defects.
    *
-   * **Example** (Basic Usage)
+   * **Example** (Converting callbacks to effects)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -23037,7 +23037,7 @@ export const effectify: {
    * // Output: contents of package.json
    * ```
    *
-   * **Example** (Custom Error Handling)
+   * **Example** (Mapping callback errors to typed failures)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -23073,7 +23073,7 @@ export const effectify: {
    * callback errors and `onSyncError` to turn synchronous throws into typed
    * failures; otherwise synchronous throws become defects.
    *
-   * **Example** (Basic Usage)
+   * **Example** (Converting callbacks to effects)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -23089,7 +23089,7 @@ export const effectify: {
    * // Output: contents of package.json
    * ```
    *
-   * **Example** (Custom Error Handling)
+   * **Example** (Mapping callback errors to typed failures)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -23141,7 +23141,7 @@ export const effectify: {
  * This function provides compile-time type checking to ensure that the success
  * value of an effect conforms to a specific type constraint.
  *
- * **Example** (Usage)
+ * **Example** (Constraining the success type)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -23169,7 +23169,7 @@ export const satisfiesSuccessType = <A>() => <A2 extends A, E, R>(effect: Effect
  * This function provides compile-time type checking to ensure that the error
  * type of an effect conforms to a specific type constraint.
  *
- * **Example** (Usage)
+ * **Example** (Constraining the error type)
  *
  * ```ts
  * import { Data, Effect } from "effect"
@@ -23199,7 +23199,7 @@ export const satisfiesErrorType = <E>() => <A, E2 extends E, R>(effect: Effect<A
  * This function provides compile-time type checking to ensure that the
  * requirements (context) type of an effect conforms to a specific type constraint.
  *
- * **Example** (Usage)
+ * **Example** (Constraining the services type)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -23237,7 +23237,7 @@ export const satisfiesServicesType = <R>() => <A, E, R2 extends R>(effect: Effec
  * - For **Failure effects**: Returns the failure as-is without applying the mapping
  * - For **Pending effects**: Falls back to the regular `map` behavior
  *
- * **Example** (Usage)
+ * **Example** (Mapping already completed effects)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -23271,7 +23271,7 @@ export const mapEager: {
    * - For **Failure effects**: Returns the failure as-is without applying the mapping
    * - For **Pending effects**: Falls back to the regular `map` behavior
    *
-   * **Example** (Usage)
+   * **Example** (Mapping already completed effects)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -23305,7 +23305,7 @@ export const mapEager: {
    * - For **Failure effects**: Returns the failure as-is without applying the mapping
    * - For **Pending effects**: Falls back to the regular `map` behavior
    *
-   * **Example** (Usage)
+   * **Example** (Mapping already completed effects)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -23341,7 +23341,7 @@ export const mapEager: {
  * - For **Failure effects**: Applies the mapping function immediately to the error
  * - For **Pending effects**: Falls back to the regular `mapError` behavior
  *
- * **Example** (Usage)
+ * **Example** (Mapping errors eagerly when possible)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -23378,7 +23378,7 @@ export const mapErrorEager: {
    * - For **Failure effects**: Applies the mapping function immediately to the error
    * - For **Pending effects**: Falls back to the regular `mapError` behavior
    *
-   * **Example** (Usage)
+   * **Example** (Mapping errors eagerly when possible)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -23415,7 +23415,7 @@ export const mapErrorEager: {
    * - For **Failure effects**: Applies the mapping function immediately to the error
    * - For **Pending effects**: Falls back to the regular `mapError` behavior
    *
-   * **Example** (Usage)
+   * **Example** (Mapping errors eagerly when possible)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -23454,7 +23454,7 @@ export const mapErrorEager: {
  * - For **Failure effects**: Applies the `onFailure` function immediately to the error
  * - For **Pending effects**: Falls back to the regular `mapBoth` behavior
  *
- * **Example** (Usage)
+ * **Example** (Mapping both channels eagerly when possible)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -23493,7 +23493,7 @@ export const mapBothEager: {
    * - For **Failure effects**: Applies the `onFailure` function immediately to the error
    * - For **Pending effects**: Falls back to the regular `mapBoth` behavior
    *
-   * **Example** (Usage)
+   * **Example** (Mapping both channels eagerly when possible)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -23534,7 +23534,7 @@ export const mapBothEager: {
    * - For **Failure effects**: Applies the `onFailure` function immediately to the error
    * - For **Pending effects**: Falls back to the regular `mapBoth` behavior
    *
-   * **Example** (Usage)
+   * **Example** (Mapping both channels eagerly when possible)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -23578,7 +23578,7 @@ export const mapBothEager: {
  * - For **Failure effects**: Returns the failure as-is without applying the flatMap
  * - For **Pending effects**: Falls back to the regular `flatMap` behavior
  *
- * **Example** (Usage)
+ * **Example** (Flat mapping eagerly when possible)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -23615,7 +23615,7 @@ export const flatMapEager: {
    * - For **Failure effects**: Returns the failure as-is without applying the flatMap
    * - For **Pending effects**: Falls back to the regular `flatMap` behavior
    *
-   * **Example** (Usage)
+   * **Example** (Flat mapping eagerly when possible)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -23652,7 +23652,7 @@ export const flatMapEager: {
    * - For **Failure effects**: Returns the failure as-is without applying the flatMap
    * - For **Pending effects**: Falls back to the regular `flatMap` behavior
    *
-   * **Example** (Usage)
+   * **Example** (Flat mapping eagerly when possible)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -23691,7 +23691,7 @@ export const flatMapEager: {
  * - For **Failure effects**: Applies the catch function immediately to the error
  * - For **Pending effects**: Falls back to the regular `catch` behavior
  *
- * **Example** (Usage)
+ * **Example** (Catching failures eagerly when possible)
  *
  * ```ts
  * import { Effect } from "effect"
@@ -23738,7 +23738,7 @@ export const catchEager: {
    * - For **Failure effects**: Applies the catch function immediately to the error
    * - For **Pending effects**: Falls back to the regular `catch` behavior
    *
-   * **Example** (Usage)
+   * **Example** (Catching failures eagerly when possible)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -23785,7 +23785,7 @@ export const catchEager: {
    * - For **Failure effects**: Applies the catch function immediately to the error
    * - For **Pending effects**: Falls back to the regular `catch` behavior
    *
-   * **Example** (Usage)
+   * **Example** (Catching failures eagerly when possible)
    *
    * ```ts
    * import { Effect } from "effect"
@@ -23824,7 +23824,7 @@ export const catchEager: {
  * Executes generator functions eagerly when all yielded effects are synchronous,
  * stopping at the first async effect and deferring to normal execution.
  *
- * **Example** (Usage)
+ * **Example** (Defining eager untraced effect functions)
  *
  * ```ts
  * import { Effect } from "effect"