diff --git a/collects/typed-scheme/private/optimize.rkt b/collects/typed-scheme/optimizer/optimizer.rkt
similarity index 100%
rename from collects/typed-scheme/private/optimize.rkt
rename to collects/typed-scheme/optimizer/optimizer.rkt
diff --git a/collects/typed-scheme/typed-scheme.rkt b/collects/typed-scheme/typed-scheme.rkt
index 15c9d817..9c246122 100644
--- a/collects/typed-scheme/typed-scheme.rkt
+++ b/collects/typed-scheme/typed-scheme.rkt
@@ -5,7 +5,8 @@
          (for-syntax 
           (except-in syntax/parse id)
           racket/match unstable/syntax racket/base unstable/match
-          (private type-contract optimize)
+          (private type-contract)
+          (optimizer optimizer)
           (types utils convenience)
 	  (typecheck typechecker provide-handling tc-toplevel)
 	  (env type-name-env type-alias-env)
diff --git a/collects/typed-scheme/utils/utils.rkt b/collects/typed-scheme/utils/utils.rkt
index ad4f5e24..afed7b55 100644
--- a/collects/typed-scheme/utils/utils.rkt
+++ b/collects/typed-scheme/utils/utils.rkt
@@ -83,6 +83,7 @@ at least theoretically.
 (define-requirer env env-out)
 (define-requirer private private-out)
 (define-requirer types types-out)
+(define-requirer optimizer optimizer-out)
 
 ;; run `h' last, but drop its return value
 (define-syntax-rule (reverse-begin h . forms) (begin0 (begin . forms) h))