diff --git a/docs/modules/IOEither.ts.md b/docs/modules/IOEither.ts.md
index 2da74aa93..fa98d90c8 100644
--- a/docs/modules/IOEither.ts.md
+++ b/docs/modules/IOEither.ts.md
@@ -122,6 +122,7 @@ Added in v2.0.0
   - [bindTo](#bindto)
   - [bindW](#bindw)
   - [bracket](#bracket)
+  - [bracketW](#bracketw)
   - [sequenceArray](#sequencearray)
   - [sequenceSeqArray](#sequenceseqarray)
   - [traverseArray](#traversearray)
@@ -1251,6 +1252,22 @@ export declare const bracket: <E, A, B>(
 
 Added in v2.0.0
 
+## bracketW
+
+Less strict version of [`bracket`](#bracket).
+
+**Signature**
+
+```ts
+export declare const bracketW: <E1, A, E2, B, E3>(
+  acquire: IOEither<E1, A>,
+  use: (a: A) => IOEither<E2, B>,
+  release: (a: A, e: E.Either<E2, B>) => IOEither<E3, void>
+) => IOEither<E1 | E2 | E3, B>
+```
+
+Added in v2.12.0
+
 ## sequenceArray
 
 **Signature**
diff --git a/docs/modules/ReaderTaskEither.ts.md b/docs/modules/ReaderTaskEither.ts.md
index 08a8c0361..1f4b1c973 100644
--- a/docs/modules/ReaderTaskEither.ts.md
+++ b/docs/modules/ReaderTaskEither.ts.md
@@ -162,6 +162,7 @@ Added in v2.0.0
   - [bindTo](#bindto)
   - [bindW](#bindw)
   - [bracket](#bracket)
+  - [bracketW](#bracketw)
   - [sequenceArray](#sequencearray)
   - [sequenceSeqArray](#sequenceseqarray)
   - [traverseArray](#traversearray)
@@ -1861,7 +1862,7 @@ whether the body action throws (\*) or returns.
 
 ```ts
 export declare function bracket<R, E, A, B>(
-  aquire: ReaderTaskEither<R, E, A>,
+  acquire: ReaderTaskEither<R, E, A>,
   use: (a: A) => ReaderTaskEither<R, E, B>,
   release: (a: A, e: Either<E, B>) => ReaderTaskEither<R, E, void>
 ): ReaderTaskEither<R, E, B>
@@ -1869,6 +1870,22 @@ export declare function bracket<R, E, A, B>(
 
 Added in v2.0.4
 
+## bracketW
+
+Less strict version of [`bracket`](#bracket).
+
+**Signature**
+
+```ts
+export declare function bracketW<R1, E1, A, R2, E2, B, R3, E3>(
+  acquire: ReaderTaskEither<R1, E1, A>,
+  use: (a: A) => ReaderTaskEither<R2, E2, B>,
+  release: (a: A, e: Either<E2, B>) => ReaderTaskEither<R3, E3, void>
+): ReaderTaskEither<R1 & R2 & R3, E1 | E2 | E3, B>
+```
+
+Added in v2.12.0
+
 ## sequenceArray
 
 **Signature**
diff --git a/docs/modules/TaskEither.ts.md b/docs/modules/TaskEither.ts.md
index 044507055..f85fd339e 100644
--- a/docs/modules/TaskEither.ts.md
+++ b/docs/modules/TaskEither.ts.md
@@ -143,6 +143,7 @@ Added in v2.0.0
   - [bindTo](#bindto)
   - [bindW](#bindw)
   - [bracket](#bracket)
+  - [bracketW](#bracketw)
   - [sequenceArray](#sequencearray)
   - [sequenceSeqArray](#sequenceseqarray)
   - [taskify](#taskify)
@@ -1543,6 +1544,22 @@ export declare const bracket: <E, A, B>(
 
 Added in v2.0.0
 
+## bracketW
+
+Less strict version of [`bracket`](#bracket).
+
+**Signature**
+
+```ts
+export declare const bracketW: <E1, A, E2, B, E3>(
+  acquire: TaskEither<E1, A>,
+  use: (a: A) => TaskEither<E2, B>,
+  release: (a: A, e: E.Either<E2, B>) => TaskEither<E3, void>
+) => TaskEither<E1 | E2 | E3, B>
+```
+
+Added in v2.12.0
+
 ## sequenceArray
 
 **Signature**
diff --git a/src/IOEither.ts b/src/IOEither.ts
index 50ee6b89d..d76168af6 100644
--- a/src/IOEither.ts
+++ b/src/IOEither.ts
@@ -896,7 +896,7 @@ export const bracket = <E, A, B>(
  *
  * @since 2.12.0
  */
-export const bracketW: <E1, E2, E3, A, B>(
+export const bracketW: <E1, A, E2, B, E3>(
   acquire: IOEither<E1, A>,
   use: (a: A) => IOEither<E2, B>,
   release: (a: A, e: E.Either<E2, B>) => IOEither<E3, void>
diff --git a/src/ReaderTaskEither.ts b/src/ReaderTaskEither.ts
index 30646073b..591ff6c89 100644
--- a/src/ReaderTaskEither.ts
+++ b/src/ReaderTaskEither.ts
@@ -1343,7 +1343,7 @@ export function bracket<R, E, A, B>(
  *
  * @since 2.12.0
  */
-export function bracketW<R1, R2, R3, E1, E2, E3, A, B>(
+export function bracketW<R1, E1, A, R2, E2, B, R3, E3>(
   acquire: ReaderTaskEither<R1, E1, A>,
   use: (a: A) => ReaderTaskEither<R2, E2, B>,
   release: (a: A, e: Either<E2, B>) => ReaderTaskEither<R3, E3, void>
diff --git a/src/TaskEither.ts b/src/TaskEither.ts
index 9b927b79d..fc2d2c367 100644
--- a/src/TaskEither.ts
+++ b/src/TaskEither.ts
@@ -1190,7 +1190,7 @@ export const bracket = <E, A, B>(
  *
  * @since 2.12.0
  */
-export const bracketW: <E1, E2, E3, A, B>(
+export const bracketW: <E1, A, E2, B, E3>(
   acquire: TaskEither<E1, A>,
   use: (a: A) => TaskEither<E2, B>,
   release: (a: A, e: E.Either<E2, B>) => TaskEither<E3, void>