diff --git a/collects/typed-scheme/base-env/base-types-extra.rkt b/collects/typed-scheme/base-env/base-types-extra.rkt
index 13ecfa0a..f3b412e3 100644
--- a/collects/typed-scheme/base-env/base-types-extra.rkt
+++ b/collects/typed-scheme/base-env/base-types-extra.rkt
@@ -12,10 +12,15 @@
 
 ;; special type names that are not bound to particular types
 (define-other-types
-  -> case-> U Rec All Opaque Vector
+  #;-> case-> U Rec All Opaque Vector
   Parameterof List List* Class Values Instance Refinement
   pred)
 
+(define-syntax ->
+  (lambda (stx)
+    (raise-syntax-error 'type-check "type name used out of context" stx))) 
+(provide ->)
+
 (provide (rename-out [All ∀]
                      [U Un]
 		     [-> →]