diff --git a/packages/effect/src/Effect.ts b/packages/effect/src/Effect.ts
index 4fd271ec9a..f6d8a7858a 100644
--- a/packages/effect/src/Effect.ts
+++ b/packages/effect/src/Effect.ts
@@ -3546,17 +3546,17 @@ export const bind: {
  * results in a Do notation pipeline.
  *
  * @example
- * import { Effect, pipe } from "effect"
+ * import { Effect, Either, pipe } from "effect"
  *
  * const result = pipe(
  *   Effect.Do,
  *   Effect.bind("x", () => Effect.succeed(2)),
  *   Effect.bindAll(({ x }) => ({
  *     a: Effect.succeed(x),
- *     b: Effect.fail('ops'),
- *   }), { concurrency: 2, mode: 'either' })
+ *     b: Effect.fail("oops"),
+ *   }), { concurrency: 2, mode: "either" })
  * )
- * assert.deepStrictEqual(Effect.runSync(result), { x: 2, a: Either.right(2), b: Either.left('ops') })
+ * assert.deepStrictEqual(Effect.runSync(result), { x: 2, a: Either.right(2), b: Either.left("oops") })
  *
  * @category do notation
  * @since 3.7.0
@@ -3576,18 +3576,13 @@ export const bindAll: {
     options?: undefined | O
   ): <E1, R1>(
     self: Effect<A, E1, R1>
-  ) => Effect<
-    {
-      [K in keyof X | keyof A]: K extends keyof A ? A[K] :
-        K extends keyof Effect.Success<
-          All.ReturnObject<X, false, All.ExtractMode<O>>
-        > ? Effect.Success<All.ReturnObject<X, false, All.ExtractMode<O>>>[K] :
-        never
-    },
-    | E1
-    | Effect.Error<All.ReturnObject<X, false, All.ExtractMode<O>>>,
-    R1 | Effect.Context<X[keyof X]>
-  >
+  ) => [All.ReturnObject<X, false, All.ExtractMode<O>>] extends [Effect<infer Success, infer Error, infer Context>]
+    ? Effect<
+      { [K in keyof A | keyof Success]: K extends keyof A ? A[K] : K extends keyof Success ? Success[K] : never },
+      E1 | Error,
+      R1 | Context
+    >
+    : never
   <
     A extends object,
     X extends Record<string, Effect<any, any, any>>,
@@ -3608,20 +3603,13 @@ export const bindAll: {
       readonly mode?: "default" | "validate" | "either" | undefined
       readonly concurrentFinalizers?: boolean | undefined
     }
-  ): Effect<
-    {
-      [K in keyof X | keyof A]: K extends keyof A ? A[K] :
-        K extends keyof Effect.Success<
-          All.ReturnObject<X, false, All.ExtractMode<O>>
-        > ? Effect.Success<
-            All.ReturnObject<X, false, All.ExtractMode<O>>
-          >[K] :
-        never
-    },
-    | E1
-    | Effect.Error<All.ReturnObject<X, false, All.ExtractMode<O>>>,
-    R1 | Effect.Context<X[keyof X]>
-  >
+  ): [All.ReturnObject<X, false, All.ExtractMode<O>>] extends [Effect<infer Success, infer Error, infer Context>]
+    ? Effect<
+      { [K in keyof A | keyof Success]: K extends keyof A ? A[K] : K extends keyof Success ? Success[K] : never },
+      E1 | Error,
+      R1 | Context
+    >
+    : never
 } = circular.bindAll
 
 /**
diff --git a/packages/effect/src/internal/effect/circular.ts b/packages/effect/src/internal/effect/circular.ts
index 14159624c0..5a3fdbd3c1 100644
--- a/packages/effect/src/internal/effect/circular.ts
+++ b/packages/effect/src/internal/effect/circular.ts
@@ -720,22 +720,21 @@ export const bindAll: {
   >(
     f: (a: A) => [Extract<keyof X, keyof A>] extends [never] ? X : `Duplicate keys`,
     options?: undefined | O
-  ): <E1, R1>(self: Effect.Effect<A, E1, R1>) => Effect.Effect<
-    {
-      [K in keyof X | keyof A]: K extends keyof A ? A[K] :
-        K extends keyof Effect.Effect.Success<
-          Effect.All.ReturnObject<X, false, Effect.All.ExtractMode<O>>
-        > ? Effect.Effect.Success<
-            Effect.All.ReturnObject<X, false, Effect.All.ExtractMode<O>>
-          >[K] :
-        never
-    },
-    | E1
-    | Effect.Effect.Error<
-      Effect.All.ReturnObject<X, false, Effect.All.ExtractMode<O>>
-    >,
-    R1 | Effect.Effect.Context<X[keyof X]>
-  >
+  ): <E1, R1>(
+    self: Effect.Effect<A, E1, R1>
+  ) => [Effect.All.ReturnObject<X, false, Effect.All.ExtractMode<O>>] extends
+    [Effect.Effect<infer Success, infer Error, infer Context>] ? Effect.Effect<
+      {
+        [K in keyof A | keyof Success]: K extends keyof A ? A[K]
+          : K extends keyof Success ? Success[K]
+          : never
+      },
+      | E1
+      | Error,
+      R1 | Context
+    >
+    : never
+
   <
     A extends object,
     X extends Record<string, Effect.Effect<any, any, any>>,
@@ -756,22 +755,18 @@ export const bindAll: {
       readonly mode?: "default" | "validate" | "either" | undefined
       readonly concurrentFinalizers?: boolean | undefined
     }
-  ): Effect.Effect<
-    {
-      [K in keyof X | keyof A]: K extends keyof A ? A[K] :
-        K extends keyof Effect.Effect.Success<
-          Effect.All.ReturnObject<X, false, Effect.All.ExtractMode<O>>
-        > ? Effect.Effect.Success<
-            Effect.All.ReturnObject<X, false, Effect.All.ExtractMode<O>>
-          >[K] :
-        never
-    },
-    | E1
-    | Effect.Effect.Error<
-      Effect.All.ReturnObject<X, false, Effect.All.ExtractMode<O>>
-    >,
-    R1 | Effect.Effect.Context<X[keyof X]>
-  >
+  ): [Effect.All.ReturnObject<X, false, Effect.All.ExtractMode<O>>] extends
+    [Effect.Effect<infer Success, infer Error, infer Context>] ? Effect.Effect<
+      {
+        [K in keyof A | keyof Success]: K extends keyof A ? A[K]
+          : K extends keyof Success ? Success[K]
+          : never
+      },
+      | E1
+      | Error,
+      R1 | Context
+    >
+    : never
 } = dual((args) => core.isEffect(args[0]), <
   A extends object,
   X extends Record<string, Effect.Effect<any, any, any>>,
diff --git a/packages/effect/test/Effect/do-notation.test.ts b/packages/effect/test/Effect/do-notation.test.ts
index e085da290a..91c29ed1f5 100644
--- a/packages/effect/test/Effect/do-notation.test.ts
+++ b/packages/effect/test/Effect/do-notation.test.ts
@@ -87,7 +87,6 @@ describe("do notation", () => {
         )
 
       expectLeft(getTest({ mode: "default" }), 2)
-
       expectRight(getTest({ mode: "either" }), {
         a: Either.left(2),
         b: Either.right("ops"),