diff --git a/docs/modules/ReaderTaskEither.ts.md b/docs/modules/ReaderTaskEither.ts.md
index a245274a96..42c1c24470 100644
--- a/docs/modules/ReaderTaskEither.ts.md
+++ b/docs/modules/ReaderTaskEither.ts.md
@@ -168,11 +168,15 @@ Added in v2.0.0
 - [utils](#utils)
   - [ApT](#apt)
   - [ap](#ap)
+  - [apEitherSK](#apeithersk)
+  - [apEitherSKW](#apeitherskw)
   - [apFirst](#apfirst)
   - [apFirstW](#apfirstw)
   - [apSecond](#apsecond)
   - [apSecondW](#apsecondw)
   - [apW](#apw)
+  - [bindEitherK](#bindeitherk)
+  - [bindEitherKW](#bindeitherkw)
   - [bracket](#bracket)
   - [bracketW](#bracketw)
   - [local](#local)
@@ -2025,6 +2029,36 @@ export declare const ap: <R, E, A>(
 
 Added in v2.0.0
 
+## apEitherSK
+
+**Signature**
+
+```ts
+export declare const apEitherSK: <A, N extends string, R, E, B>(
+  name: Exclude<N, keyof A>,
+  f: E.Either<E, B>
+) => (
+  fa: ReaderTaskEither<R, E, A>
+) => ReaderTaskEither<R, E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
+```
+
+Added in v2.13.0
+
+## apEitherSKW
+
+**Signature**
+
+```ts
+export declare const apEitherSKW: <N extends string, A, E2, B>(
+  name: Exclude<N, keyof A>,
+  f: E.Either<E2, B>
+) => <R1, E1>(
+  fa: ReaderTaskEither<R1, E1, A>
+) => ReaderTaskEither<R1, E2 | E1, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
+```
+
+Added in v2.13.0
+
 ## apFirst
 
 Combine two effectful actions, keeping only the result of the first.
@@ -2101,6 +2135,36 @@ export declare const apW: <R2, E2, A>(
 
 Added in v2.8.0
 
+## bindEitherK
+
+**Signature**
+
+```ts
+export declare const bindEitherK: <N extends string, A, R, E, B>(
+  name: Exclude<N, keyof A>,
+  f: (a: A) => E.Either<E, B>
+) => (
+  ma: ReaderTaskEither<R, E, A>
+) => ReaderTaskEither<R, E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
+```
+
+Added in v2.13.0
+
+## bindEitherKW
+
+**Signature**
+
+```ts
+export declare const bindEitherKW: <N extends string, A, E2, B>(
+  name: Exclude<N, keyof A>,
+  f: (a: A) => E.Either<E2, B>
+) => <R1, E1>(
+  fa: ReaderTaskEither<R1, E1, A>
+) => ReaderTaskEither<R1, E2 | E1, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
+```
+
+Added in v2.13.0
+
 ## bracket
 
 Make sure that a resource is cleaned up in the event of an exception (\*). The release action is called regardless of
diff --git a/src/ReaderTaskEither.ts b/src/ReaderTaskEither.ts
index 0469f39a91..a51aa49a32 100644
--- a/src/ReaderTaskEither.ts
+++ b/src/ReaderTaskEither.ts
@@ -1483,6 +1483,22 @@ export const bindW: <N extends string, A, R2, E2, B>(
   fa: ReaderTaskEither<R1, E1, A>
 ) => ReaderTaskEither<R1 & R2, E1 | E2, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }> = bind as any
 
+/**
+ * @since 2.13.0
+ */
+export const bindEitherK = <N extends string, A, R, E, B>(name: Exclude<N, keyof A>, f: (a: A) => Either<E, B>) =>
+  bind(name, (a) => fromEither<E, B, R>(f(a)))
+
+/**
+ * @since 2.13.0
+ */
+export const bindEitherKW: <N extends string, A, E2, B>(
+  name: Exclude<N, keyof A>,
+  f: (a: A) => Either<E2, B>
+) => <R1, E1>(
+  fa: ReaderTaskEither<R1, E1, A>
+) => ReaderTaskEither<R1, E1 | E2, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }> = bindEitherK as any
+
 /**
  * @category do notation
  * @since 2.8.0
@@ -1504,6 +1520,22 @@ export const apSW: <A, N extends string, R2, E2, B>(
   fa: ReaderTaskEither<R1, E1, A>
 ) => ReaderTaskEither<R1 & R2, E1 | E2, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }> = apS as any
 
+/**
+ * @since 2.13.0
+ */
+export const apEitherSK = <A, N extends string, R, E, B>(name: Exclude<N, keyof A>, f: Either<E, B>) =>
+  apS(name, fromEither<E, B, R>(f))
+
+/**
+ * @since 2.13.0
+ */
+export const apEitherSKW: <N extends string, A, E2, B>(
+  name: Exclude<N, keyof A>,
+  f: Either<E2, B>
+) => <R1, E1>(
+  fa: ReaderTaskEither<R1, E1, A>
+) => ReaderTaskEither<R1, E1 | E2, { readonly [K in keyof A | N]: K extends keyof A ? A[K] : B }> = apEitherSK as any
+
 /**
  * @since 2.11.0
  */
diff --git a/test/ReaderTaskEither.ts b/test/ReaderTaskEither.ts
index 9e9907148e..4efb2acc48 100644
--- a/test/ReaderTaskEither.ts
+++ b/test/ReaderTaskEither.ts
@@ -539,6 +539,18 @@ describe('ReaderTaskEither', () => {
     )
   })
 
+  it('bindEitherK', async () => {
+    U.deepStrictEqual(
+      await pipe(
+        _.right<void, string, number>(1),
+        _.bindTo('a'),
+        _.bindEitherK('b', () => E.right<string, string>('b')),
+        _.bindEitherKW('c', () => E.right<number, string>('c'))
+      )(undefined)(),
+      E.right({ a: 1, b: 'b', c: 'c' })
+    )
+  })
+
   it('apS', async () => {
     U.deepStrictEqual(
       await pipe(_.right<void, string, number>(1), _.bindTo('a'), _.apS('b', _.right('b')))(undefined)(),
@@ -546,6 +558,18 @@ describe('ReaderTaskEither', () => {
     )
   })
 
+  it('apEitherSK', async () => {
+    U.deepStrictEqual(
+      await pipe(
+        _.right<void, string, number>(1),
+        _.bindTo('a'),
+        _.apEitherSK('b', E.right<string, string>('b')),
+        _.apEitherSKW('c', E.right<number, string>('c'))
+      )(undefined)(),
+      E.right({ a: 1, b: 'b', c: 'c' })
+    )
+  })
+
   describe('array utils', () => {
     const input: ReadonlyNonEmptyArray<string> = ['a', 'b']