diff --git a/src/immer.d.ts b/src/immer.d.ts
index fba72534..03ea8faf 100644
--- a/src/immer.d.ts
+++ b/src/immer.d.ts
@@ -65,26 +65,22 @@ export interface IProduce {
      * @param {Function} patchListener - optional function that will be called with all the patches produced here
      * @returns {any} a new state, or the initial state if nothing was modified
      */
-    <Base, Result = any>(
+    <Base, Proxy = Draft<Base>, Result = any>(
         base: Base,
-        recipe: (this: Draft<Base>, draft: Draft<Base>) => Result,
+        recipe: (this: Proxy, draft: Proxy) => Result,
         listener?: PatchListener
     ): void extends Result ? Base : Result
 
     /** Curried producer with an initial state */
-    <Base = Default, Default = any, Result = any>(
+    <Base, Default = Base, Result = any>(
         recipe: (this: Draft<Base>, draft: Draft<Base>) => Result,
         defaultBase: Default
     ): (base: Base | undefined) => void extends Result ? Base : Result
 
     /** Curried producer with no initial state */
-    <Base, Result = any, Args extends any[] = any[]>(
-        recipe: (
-            this: Draft<Base>,
-            draft: Draft<Base>,
-            ...extraArgs: Args
-        ) => Result
-    ): (base: Base, ...extraArgs: Args) => void extends Result ? Base : Result
+    <Base, Rest extends any[] = any[], Result = any>(
+        recipe: (this: Draft<Base>, draft: Draft<Base>, ...rest: Rest) => Result
+    ): (base: Base, ...rest: Rest) => void extends Result ? Base : Result
 }
 
 export const produce: IProduce