diff --git a/collects/typed-scheme/typed-scheme.ss b/collects/typed-scheme/typed-scheme.ss
index 522f11fc..19c9c9cb 100644
--- a/collects/typed-scheme/typed-scheme.ss
+++ b/collects/typed-scheme/typed-scheme.ss
@@ -23,6 +23,9 @@
 
 (provide-tnames)
 (provide-extra-tnames)
+(require-extra-tnames "private/base-types.ss")
+(provide (rename-out [All ∀]
+                     [mu Rec]))
 
 
 (provide (rename-out [module-begin #%module-begin]