diff --git a/collects/racket/private/base.rkt b/collects/racket/private/base.rkt
index 509a39f2a8..2d84be5ed3 100644
--- a/collects/racket/private/base.rkt
+++ b/collects/racket/private/base.rkt
@@ -18,7 +18,8 @@
                               call-with-output-file
                               with-input-from-file
                               with-output-to-file
-                              regexp-replace*)
+                              regexp-replace*
+                              new-apply-proc)
              struct
              (all-from "list.rkt")
              (all-from-except "string.rkt" 
diff --git a/collects/racket/private/pre-base.rkt b/collects/racket/private/pre-base.rkt
index 8b86927af7..a9326cde0b 100644
--- a/collects/racket/private/pre-base.rkt
+++ b/collects/racket/private/pre-base.rkt
@@ -86,6 +86,7 @@
              (rename new-define define)
              (rename new-app #%app)
              (rename new-apply apply)
+             new-apply-proc ; for access by Typed Racket
              (rename new-prop:procedure prop:procedure)
              (rename #%app #%plain-app)
              (rename lambda #%plain-lambda)
diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt
index db91883da6..88d7a3b4e3 100644
--- a/collects/typed-scheme/private/base-env.rkt
+++ b/collects/typed-scheme/private/base-env.rkt
@@ -9,6 +9,7 @@
  '#%paramz
  "extra-procs.rkt"
  (only-in '#%kernel [apply kernel:apply])
+ (only-in racket/private/pre-base new-apply-proc)
  scheme/promise scheme/system
  (only-in string-constants/private/only-once maybe-print-message)
  (only-in mzscheme make-namespace)
@@ -346,6 +347,7 @@
                      . -> . (-opt (-pair a b))))]
 
 [apply        (-poly (a b) (((list) a . ->* . b) (-lst a) . -> . b))]
+[new-apply-proc (-poly (a b) (((list) a . ->* . b) (-lst a) . -> . b))]
 [kernel:apply (-poly (a b) (((list) a . ->* . b) (-lst a) . -> . b))]
 [time-apply (-poly (a b c)
                    (cl->*