diff --git a/cli/reactjs_jsx_v4.ml b/cli/reactjs_jsx_v4.ml
index 6be14121..c2783972 100644
--- a/cli/reactjs_jsx_v4.ml
+++ b/cli/reactjs_jsx_v4.ml
@@ -397,23 +397,18 @@ let transformUppercaseCall3 ~config modulePath mapper jsxExprLoc callExprLoc
        ]
       @ key)
   | _ -> (
-    let keyAddedProps ~keyExpr =
-      let propsType =
-        Typ.constr (Location.mknoloc @@ ident ~suffix:"props") [Typ.any ()]
-      in
-      Exp.apply
-        (Exp.ident
-           {loc = Location.none; txt = Ldot (Lident "Jsx", "addKeyProp")})
-        [(nolabel, Exp.constraint_ props propsType); (nolabel, keyExpr)]
-    in
     match (!childrenArg, keyProp) with
     | None, (_, keyExpr) :: _ ->
       Exp.apply ~attrs
         (Exp.ident
-           {loc = Location.none; txt = Ldot (Lident "React", "createElement")})
+           {
+             loc = Location.none;
+             txt = Ldot (Lident "React", "createElementWithKey");
+           })
         [
           (nolabel, Exp.ident {txt = ident ~suffix:"make"; loc = callExprLoc});
-          (nolabel, keyAddedProps ~keyExpr);
+          (nolabel, props);
+          (nolabel, keyExpr);
         ]
     | None, [] ->
       Exp.apply ~attrs
@@ -428,12 +423,13 @@ let transformUppercaseCall3 ~config modulePath mapper jsxExprLoc callExprLoc
         (Exp.ident
            {
              loc = Location.none;
-             txt = Ldot (Lident "React", "createElementVariadic");
+             txt = Ldot (Lident "React", "createElementVariadicWithKey");
            })
         [
           (nolabel, Exp.ident {txt = ident ~suffix:"make"; loc = callExprLoc});
-          (nolabel, keyAddedProps ~keyExpr);
+          (nolabel, props);
           (nolabel, children);
+          (nolabel, keyExpr);
         ]
     | Some children, [] ->
       Exp.apply ~attrs
diff --git a/tests/ppx/react/expected/interface.res.txt b/tests/ppx/react/expected/interface.res.txt
new file mode 100644
index 00000000..9b6062dd
--- /dev/null
+++ b/tests/ppx/react/expected/interface.res.txt
@@ -0,0 +1,19 @@
+module A = {
+  type props<'x> = {x: 'x}
+  @react.component let make = ({x, _}: props<'x>) => React.string(x)
+  let make = {
+    let \"Interface$A" = (props: props<_>) => make(props)
+    \"Interface$A"
+  }
+}
+
+module NoProps = {
+  type props = {}
+
+  @react.component let make = (_: props) => ReactDOM.jsx("div", {})
+  let make = {
+    let \"Interface$NoProps" = props => make(props)
+
+    \"Interface$NoProps"
+  }
+}
diff --git a/tests/ppx/react/expected/interface.resi.txt b/tests/ppx/react/expected/interface.resi.txt
index 1358d63e..f4ffd9b6 100644
--- a/tests/ppx/react/expected/interface.resi.txt
+++ b/tests/ppx/react/expected/interface.resi.txt
@@ -1,2 +1,10 @@
-type props<'x> = {x: 'x}
-let make: React.componentLike<props<string>, React.element>
+module A: {
+  type props<'x> = {x: 'x}
+  let make: React.componentLike<props<string>, React.element>
+}
+
+module NoProps: {
+  type props = {}
+
+  let make: React.componentLike<props, React.element>
+}
diff --git a/tests/ppx/react/expected/noPropsWithKey.res.txt b/tests/ppx/react/expected/noPropsWithKey.res.txt
new file mode 100644
index 00000000..6c1e1bc8
--- /dev/null
+++ b/tests/ppx/react/expected/noPropsWithKey.res.txt
@@ -0,0 +1,38 @@
+@@jsxConfig({version: 4, mode: "classic"})
+
+module V4CA = {
+  type props = {}
+
+  @react.component let make = (_: props) => ReactDOMRe.createDOMElementVariadic("div", [])
+  let make = {
+    let \"NoPropsWithKey$V4CA" = props => make(props)
+
+    \"NoPropsWithKey$V4CA"
+  }
+}
+
+module V4CB = {
+  type props = {}
+
+  @module("c")
+  external make: React.componentLike<props, React.element> = "component"
+}
+
+module V4C = {
+  type props = {}
+
+  @react.component
+  let make = (_: props) =>
+    ReactDOMRe.createElement(
+      ReasonReact.fragment,
+      [
+        React.createElementWithKey(V4CA.make, {}, "k"),
+        React.createElementWithKey(V4CB.make, {}, "k"),
+      ],
+    )
+  let make = {
+    let \"NoPropsWithKey$V4C" = props => make(props)
+
+    \"NoPropsWithKey$V4C"
+  }
+}
diff --git a/tests/ppx/react/expected/removedKeyProp.res.txt b/tests/ppx/react/expected/removedKeyProp.res.txt
index 5cabbdbc..6f2d38cc 100644
--- a/tests/ppx/react/expected/removedKeyProp.res.txt
+++ b/tests/ppx/react/expected/removedKeyProp.res.txt
@@ -30,18 +30,14 @@ let make = (_: props) =>
   ReactDOMRe.createElement(
     ReasonReact.fragment,
     [
-      React.createElement(Foo.make, Jsx.addKeyProp(({x: "x", y: "y"}: Foo.props<_>), "k")),
+      React.createElementWithKey(Foo.make, {x: "x", y: "y"}, "k"),
       React.createElement(Foo.make, {x: "x", y: "y"}),
-      React.createElement(
+      React.createElementWithKey(
         HasChildren.make,
-        Jsx.addKeyProp(
-          (
-            {
-              children: React.createElement(Foo.make, {x: "x", y: "y"}),
-            }: HasChildren.props<_>
-          ),
-          "k",
-        ),
+        {
+          children: React.createElement(Foo.make, {x: "x", y: "y"}),
+        },
+        "k",
       ),
       React.createElement(
         HasChildren.make,
diff --git a/tests/ppx/react/interface.res b/tests/ppx/react/interface.res
new file mode 100644
index 00000000..acf2cc45
--- /dev/null
+++ b/tests/ppx/react/interface.res
@@ -0,0 +1,9 @@
+module A = {
+  @react.component
+  let make = (~x) => React.string(x)
+}
+
+module NoProps = {
+  @react.component
+  let make = () => <div />
+}
\ No newline at end of file
diff --git a/tests/ppx/react/interface.resi b/tests/ppx/react/interface.resi
index 8838796f..0ce4ff33 100644
--- a/tests/ppx/react/interface.resi
+++ b/tests/ppx/react/interface.resi
@@ -1,2 +1,9 @@
-@react.component
-let make: (~x:string) => React.element
\ No newline at end of file
+module A: {
+  @react.component
+  let make: (~x: string) => React.element
+}
+
+module NoProps: {
+  @react.component
+  let make: unit => React.element
+}
\ No newline at end of file
diff --git a/tests/ppx/react/noPropsWithKey.res b/tests/ppx/react/noPropsWithKey.res
new file mode 100644
index 00000000..779309cc
--- /dev/null
+++ b/tests/ppx/react/noPropsWithKey.res
@@ -0,0 +1,16 @@
+@@jsxConfig({version: 4, mode: "classic"})
+
+module V4CA = {
+  @react.component
+  let make = () => <div />
+}
+
+module V4CB = {
+  @module("c") @react.component
+  external make: unit => React.element = "component"
+}
+
+module V4C = {
+  @react.component
+  let make = () => <><V4CA key="k" /> <V4CB key="k" /></>
+}
\ No newline at end of file