diff --git a/docs/modules/ReaderTaskEither.ts.md b/docs/modules/ReaderTaskEither.ts.md
index 4dfd06596..b0a9543dc 100644
--- a/docs/modules/ReaderTaskEither.ts.md
+++ b/docs/modules/ReaderTaskEither.ts.md
@@ -187,9 +187,9 @@ Added in v2.0.4
 
 ```ts
 export function fold<R, E, A, B>(
-  onLeft: (e: E) => Reader<R, Task<B>>,
-  onRight: (a: A) => Reader<R, Task<B>>
-): (ma: ReaderTaskEither<R, E, A>) => Reader<R, Task<B>> { ... }
+  onLeft: (e: E) => ReaderTask<R, B>,
+  onRight: (a: A) => ReaderTask<R, B>
+): (ma: ReaderTaskEither<R, E, A>) => ReaderTask<R, B> { ... }
 ```
 
 Added in v2.0.0
@@ -240,8 +240,8 @@ Added in v2.0.0
 
 ```ts
 export function getOrElse<R, E, A>(
-  onLeft: (e: E) => Reader<R, Task<A>>
-): (ma: ReaderTaskEither<R, E, A>) => Reader<R, Task<A>> { ... }
+  onLeft: (e: E) => ReaderTask<R, A>
+): (ma: ReaderTaskEither<R, E, A>) => ReaderTask<R, A> { ... }
 ```
 
 Added in v2.0.0
diff --git a/package-lock.json b/package-lock.json
index fb24ae0ea..f83daae12 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
 {
   "name": "fp-ts",
-  "version": "2.2.0",
+  "version": "2.3.0",
   "lockfileVersion": 1,
   "requires": true,
   "dependencies": {
diff --git a/package.json b/package.json
index 1599eb748..fc853b994 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "fp-ts",
-  "version": "2.2.0",
+  "version": "2.3.0",
   "description": "Functional programming in TypeScript",
   "files": [
     "lib",
diff --git a/src/ReaderTaskEither.ts b/src/ReaderTaskEither.ts
index 34d01a668..7aaa472ee 100644
--- a/src/ReaderTaskEither.ts
+++ b/src/ReaderTaskEither.ts
@@ -14,13 +14,13 @@ import { pipe, pipeable } from './pipeable'
 import { getSemigroup as getReaderSemigroup, Reader } from './Reader'
 import { ReaderEither } from './ReaderEither'
 import { getReaderM } from './ReaderT'
+import { readerTask, ReaderTask } from './ReaderTask'
 import { Semigroup } from './Semigroup'
 import { Task } from './Task'
 import * as TE from './TaskEither'
+import { getValidationM } from './ValidationT'
 
 import TaskEither = TE.TaskEither
-import { readerTask } from './ReaderTask'
-import { getValidationM } from './ValidationT'
 
 const T = getReaderM(TE.taskEither)
 
@@ -129,9 +129,9 @@ export function leftIO<R, E = never, A = never>(me: IO<E>): ReaderTaskEither<R,
  * @since 2.0.0
  */
 export function fold<R, E, A, B>(
-  onLeft: (e: E) => Reader<R, Task<B>>,
-  onRight: (a: A) => Reader<R, Task<B>>
-): (ma: ReaderTaskEither<R, E, A>) => Reader<R, Task<B>> {
+  onLeft: (e: E) => ReaderTask<R, B>,
+  onRight: (a: A) => ReaderTask<R, B>
+): (ma: ReaderTaskEither<R, E, A>) => ReaderTask<R, B> {
   return ma => r =>
     pipe(
       ma(r),
@@ -146,8 +146,8 @@ export function fold<R, E, A, B>(
  * @since 2.0.0
  */
 export function getOrElse<R, E, A>(
-  onLeft: (e: E) => Reader<R, Task<A>>
-): (ma: ReaderTaskEither<R, E, A>) => Reader<R, Task<A>> {
+  onLeft: (e: E) => ReaderTask<R, A>
+): (ma: ReaderTaskEither<R, E, A>) => ReaderTask<R, A> {
   return ma => r => TE.getOrElse<E, A>(e => onLeft(e)(r))(ma(r))
 }