diff --git a/collects/typed-scheme/private/base-types-extra.rkt b/collects/typed-scheme/private/base-types-extra.rkt
index de39e1727d..43ba28ad41 100644
--- a/collects/typed-scheme/private/base-types-extra.rkt
+++ b/collects/typed-scheme/private/base-types-extra.rkt
@@ -18,6 +18,7 @@
 
 (provide (rename-out [All ∀]
                      [U Un]
+		     [-> →]
                      [List Tuple]
                      [Rec mu]
                      [Parameterof Parameter]))