diff --git a/CHANGELOG.md b/CHANGELOG.md
index d265977f1..bcad5e20f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -14,6 +14,11 @@
 **Note**: Gaps between patch versions are faulty/broken releases. **Note**: A feature tagged as Experimental is in a
 high state of flux, you're at risk of it changing without notice.
 
+# 2.0.5
+
+- **Bug Fix**
+  - fix `PipeableApply2C` definition (@gcanti)
+
 # 2.0.4
 
 - **Polish**
diff --git a/docs/modules/pipeable.ts.md b/docs/modules/pipeable.ts.md
index 2b6f4e7cb..6d0acb966 100644
--- a/docs/modules/pipeable.ts.md
+++ b/docs/modules/pipeable.ts.md
@@ -226,8 +226,8 @@ Added in v2.0.0
 ```ts
 export interface PipeableApply2C<F extends URIS2, E> extends PipeableFunctor2C<F, E> {
   readonly ap: <A>(fa: Kind2<F, E, A>) => <B>(fab: Kind2<F, E, (a: A) => B>) => Kind2<F, E, B>
-  readonly apFirst: <A>(fb: Kind2<F, E, A>) => <B>(fb: Kind2<F, E, B>) => Kind2<F, E, A>
-  readonly apSecond: <A>(fb: Kind2<F, E, A>) => <B>(fb: Kind2<F, E, B>) => Kind2<F, E, B>
+  readonly apFirst: <B>(fb: Kind2<F, E, B>) => <A>(fa: Kind2<F, E, A>) => Kind2<F, E, A>
+  readonly apSecond: <B>(fb: Kind2<F, E, B>) => <A>(fa: Kind2<F, E, A>) => Kind2<F, E, B>
 }
 ```
 
diff --git a/package.json b/package.json
index e1d7a2cc2..46cbe8e58 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "fp-ts",
-  "version": "2.0.4",
+  "version": "2.0.5",
   "description": "Functional programming in TypeScript",
   "files": [
     "lib",
diff --git a/src/pipeable.ts b/src/pipeable.ts
index 8844c2f0c..65a2f6667 100644
--- a/src/pipeable.ts
+++ b/src/pipeable.ts
@@ -310,8 +310,8 @@ export interface PipeableApply2<F extends URIS2> extends PipeableFunctor2<F> {
  */
 export interface PipeableApply2C<F extends URIS2, E> extends PipeableFunctor2C<F, E> {
   readonly ap: <A>(fa: Kind2<F, E, A>) => <B>(fab: Kind2<F, E, (a: A) => B>) => Kind2<F, E, B>
-  readonly apFirst: <A>(fb: Kind2<F, E, A>) => <B>(fb: Kind2<F, E, B>) => Kind2<F, E, A>
-  readonly apSecond: <A>(fb: Kind2<F, E, A>) => <B>(fb: Kind2<F, E, B>) => Kind2<F, E, B>
+  readonly apFirst: <B>(fb: Kind2<F, E, B>) => <A>(fa: Kind2<F, E, A>) => Kind2<F, E, A>
+  readonly apSecond: <B>(fb: Kind2<F, E, B>) => <A>(fa: Kind2<F, E, A>) => Kind2<F, E, B>
 }
 
 /**