diff --git a/collects/typed-racket/base-env/prims.rkt b/collects/typed-racket/base-env/prims.rkt
index d5e045fb..1f15ee61 100644
--- a/collects/typed-racket/base-env/prims.rkt
+++ b/collects/typed-racket/base-env/prims.rkt
@@ -48,7 +48,7 @@ This file defines two sorts of primitives. All of them are provided into any mod
          "base-types-extra.rkt"
          racket/flonum ; for for/flvector and for*/flvector
          (for-syntax
-          unstable/lazy-require
+          racket/lazy-require
           syntax/parse
           racket/syntax
           racket/base
diff --git a/collects/typed-racket/env/global-env.rkt b/collects/typed-racket/env/global-env.rkt
index 314af04d..b485b5af 100644
--- a/collects/typed-racket/env/global-env.rkt
+++ b/collects/typed-racket/env/global-env.rkt
@@ -5,7 +5,7 @@
 
 (require "../types/tc-error.rkt"
          syntax/id-table
-         unstable/lazy-require) 
+         racket/lazy-require) 
 (provide register-type register-type-if-undefined
          finish-register-type
          maybe-finish-register-type
diff --git a/collects/typed-racket/rep/free-variance.rkt b/collects/typed-racket/rep/free-variance.rkt
index 77e5e793..2e955d75 100644
--- a/collects/typed-racket/rep/free-variance.rkt
+++ b/collects/typed-racket/rep/free-variance.rkt
@@ -3,7 +3,7 @@
          racket/match
          racket/set
          (for-syntax racket/base)
-         unstable/lazy-require
+         racket/lazy-require
          (contract-req)) 
 
 ;; Ugly hack - should use units
diff --git a/collects/typed-racket/rep/rep-utils.rkt b/collects/typed-racket/rep/rep-utils.rkt
index 604511df..a0febd74 100644
--- a/collects/typed-racket/rep/rep-utils.rkt
+++ b/collects/typed-racket/rep/rep-utils.rkt
@@ -5,7 +5,7 @@
          (contract-req)
          "free-variance.rkt"
          "interning.rkt" unstable/struct
-         unstable/lazy-require
+         racket/lazy-require
          racket/stxparam
          (for-syntax
           racket/match
diff --git a/collects/typed-racket/rep/type-rep.rkt b/collects/typed-racket/rep/type-rep.rkt
index 7cae1848..bb2e429c 100644
--- a/collects/typed-racket/rep/type-rep.rkt
+++ b/collects/typed-racket/rep/type-rep.rkt
@@ -5,7 +5,7 @@
          "rep-utils.rkt" "object-rep.rkt" "filter-rep.rkt" "free-variance.rkt"
          racket/match ;mzlib/etc
          racket/contract
-         unstable/lazy-require
+         racket/lazy-require
          (for-syntax racket/base syntax/parse))
 
 ;; Ugly hack - should use units
diff --git a/collects/typed-racket/types/abbrev.rkt b/collects/typed-racket/types/abbrev.rkt
index 449fce6b..8d858f4e 100644
--- a/collects/typed-racket/types/abbrev.rkt
+++ b/collects/typed-racket/types/abbrev.rkt
@@ -14,7 +14,7 @@
          ;; avoid the other dependencies of `racket/place`
          '#%place
          unstable/function
-         unstable/lazy-require
+         racket/lazy-require
          (except-in racket/contract/base ->* -> one-of/c)
          (prefix-in c: racket/contract/base)
          (for-syntax racket/base syntax/parse racket/list)
diff --git a/collects/typed-racket/types/substitute.rkt b/collects/typed-racket/types/substitute.rkt
index 516ff918..55f327e6 100644
--- a/collects/typed-racket/types/substitute.rkt
+++ b/collects/typed-racket/types/substitute.rkt
@@ -8,7 +8,7 @@
          racket/match
          racket/set
          racket/contract
-         unstable/lazy-require)
+         racket/lazy-require)
 (lazy-require ("union.rkt" (Un)))
 
 (provide subst-all substitute substitute-dots substitute-dotted subst
diff --git a/collects/typed-racket/types/subtype.rkt b/collects/typed-racket/types/subtype.rkt
index c1fd35f2..7a2fbe86 100644
--- a/collects/typed-racket/types/subtype.rkt
+++ b/collects/typed-racket/types/subtype.rkt
@@ -6,7 +6,7 @@
          (env type-name-env)
          racket/match unstable/match
          racket/function
-         unstable/lazy-require
+         racket/lazy-require
          (prefix-in c: racket/contract)
          (for-syntax racket/base syntax/parse))