diff --git a/collects/typed-scheme/typecheck/tc-app.rkt b/collects/typed-scheme/typecheck/tc-app.rkt
index ead820ab7a..4363171caf 100644
--- a/collects/typed-scheme/typecheck/tc-app.rkt
+++ b/collects/typed-scheme/typecheck/tc-app.rkt
@@ -18,6 +18,7 @@
          (except-in (env type-environments) extend)
          (rep type-rep filter-rep object-rep)
          (r:infer infer)
+         '#%paramz
          (for-template 
           (only-in '#%kernel [apply k:apply])
           "internal-forms.ss" scheme/base scheme/bool '#%paramz