diff --git a/lib/flow-typed/npm/react-redux_v7.x.x.js b/lib/flow-typed/npm/react-redux_v7.x.x.js
--- a/lib/flow-typed/npm/react-redux_v7.x.x.js
+++ b/lib/flow-typed/npm/react-redux_v7.x.x.js
@@ -57,7 +57,7 @@
     // and provide the StateProps type to the SP type parameter.
     | ((state: S, ownProps: OP) => (state: S, ownProps: OP) => SP);
 
-  declare type Bind<D> = <A, R>((...A) => R) => (...A) => $Call<D, R>;
+  declare type Bind<D> = <A, R>((...A) => R) => (...A) => ReturnType<D>;
 
   declare type MapDispatchToPropsFn<D, OP, DP> =
     | ((dispatch: D, ownProps: OP) => DP)
diff --git a/lib/socket/socket.react.js b/lib/socket/socket.react.js
--- a/lib/socket/socket.react.js
+++ b/lib/socket/socket.react.js
@@ -285,7 +285,7 @@
     }
   }
 
-  reconnect: $Call<typeof _throttle, () => void, number> = _throttle(
+  reconnect: ReturnType<typeof _throttle> = _throttle(
     () => this.openSocket('reconnecting'),
     clientKeyserverSocketReconnectDelay,
   );
diff --git a/native/flow-typed/npm/@react-navigation/core_v6.x.x.js b/native/flow-typed/npm/@react-navigation/core_v6.x.x.js
--- a/native/flow-typed/npm/@react-navigation/core_v6.x.x.js
+++ b/native/flow-typed/npm/@react-navigation/core_v6.x.x.js
@@ -433,25 +433,16 @@
    * MAGIC
    */
 
-  declare type $If<Test: boolean, Then, Else = empty> = $Call<
-    ((true, Then, Else) => Then) & ((false, Then, Else) => Else),
-    Test,
-    Then,
-    Else,
-  >;
-  declare type $IsA<X, Y> = $Call<
-    (Y => true) & (mixed => false),
-    X,
-  >;
+  declare type $If<Test: boolean, Then, Else = empty> =
+    Test extends true ? Then : Else;
+  
+  declare type $IsA<X, Y> = X extends Y ? true : false;
   declare type $IsUndefined<X> = $IsA<X, void>;
 
   declare type $Partial<T> = $ReadOnly<$Rest<T, {...}>>;
 
   // If { ...T, ... } counts as a T, then we're inexact
-  declare type $IsExact<T> = $Call<
-    (T => false) & (mixed => true),
-    { ...T, ... },
-  >;
+  declare type $IsExact<T> = { ...T, ... } extends T ? false : true;
 
   /**
    * Actions, state, etc.
diff --git a/native/flow-typed/npm/react-redux_v7.x.x.js b/native/flow-typed/npm/react-redux_v7.x.x.js
--- a/native/flow-typed/npm/react-redux_v7.x.x.js
+++ b/native/flow-typed/npm/react-redux_v7.x.x.js
@@ -57,7 +57,7 @@
     // and provide the StateProps type to the SP type parameter.
     | ((state: S, ownProps: OP) => (state: S, ownProps: OP) => SP);
 
-  declare type Bind<D> = <A, R>((...A) => R) => (...A) => $Call<D, R>;
+  declare type Bind<D> = <A, R>((...A) => R) => (...A) => ReturnType<D>;
 
   declare type MapDispatchToPropsFn<D, OP, DP> =
     | ((dispatch: D, ownProps: OP) => DP)
diff --git a/web/flow-typed/npm/react-redux_v7.x.x.js b/web/flow-typed/npm/react-redux_v7.x.x.js
--- a/web/flow-typed/npm/react-redux_v7.x.x.js
+++ b/web/flow-typed/npm/react-redux_v7.x.x.js
@@ -57,7 +57,7 @@
     // and provide the StateProps type to the SP type parameter.
     | ((state: S, ownProps: OP) => (state: S, ownProps: OP) => SP);
 
-  declare type Bind<D> = <A, R>((...A) => R) => (...A) => $Call<D, R>;
+  declare type Bind<D> = <A, R>((...A) => R) => (...A) => ReturnType<D>;
 
   declare type MapDispatchToPropsFn<D, OP, DP> =
     | ((dispatch: D, ownProps: OP) => DP)