diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/tc-setup.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/tc-setup.rkt
index ef9de318..20373753 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/tc-setup.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/tc-setup.rkt
@@ -5,7 +5,7 @@
          racket/pretty racket/promise racket/lazy-require
          racket/syntax
          (env type-name-env type-alias-env mvar-env)
-         (utils tc-utils disarm mutated-vars)
+         (utils tc-utils disarm mutated-vars lift)
          "standard-inits.rkt"
          (for-syntax racket/base)
          (for-template racket/base))
@@ -81,22 +81,3 @@
 
 (define (tc-module/full orig-stx stx k)
   (tc-setup orig-stx stx 'module-begin local-expand tc-module k))
-
-;; like `local-expand/capture-lifts` but expands the lifted expression, which
-;; allows us to type-check lifted expressions at the top-level
-(define (local-expand/capture* stx ctx stop-ids)
-  (define-values (defs expr)
-    ;; at each iteration, get lifted definitions and the expanded expression
-    (let loop ([stx stx])
-      (define stx* (local-expand/capture-lifts stx ctx stop-ids))
-      (syntax-parse stx*
-        #:literals (begin define-values)
-        [(begin (define-values (n) e) ... e*)
-         (define-values (sub-defss defs)
-           (for/lists (_1 _2) ([e (in-list (syntax->list #'(e ...)))]
-                               [n (in-list (syntax->list #'(n ...)))])
-             ;; lifted expressions may re-lift, so recur
-             (define-values (sub-defs e-expanded) (loop e))
-             (values sub-defs #`(define-values (#,n) #,e-expanded))))
-         (values (append (apply append sub-defss) defs) #'e*)])))
-  #`(begin #,@defs #,expr))
diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/lift.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/lift.rkt
new file mode 100644
index 00000000..ec348858
--- /dev/null
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/lift.rkt
@@ -0,0 +1,27 @@
+#lang racket/base
+
+;; This module provides helpers for syntax lifting
+
+(require syntax/parse
+         (for-template racket/base))
+
+(provide local-expand/capture*)
+
+;; like `local-expand/capture-lifts` but expands the lifted expression, which
+;; allows us to type-check lifted expressions at the top-level
+(define (local-expand/capture* stx ctx stop-ids)
+  (define-values (defs expr)
+    ;; at each iteration, get lifted definitions and the expanded expression
+    (let loop ([stx stx])
+      (define stx* (local-expand/capture-lifts stx ctx stop-ids))
+      (syntax-parse stx*
+        #:literals (begin define-values)
+        [(begin (define-values (n) e) ... e*)
+         (define-values (sub-defss defs)
+           (for/lists (_1 _2) ([e (in-list (syntax->list #'(e ...)))]
+                               [n (in-list (syntax->list #'(n ...)))])
+             ;; lifted expressions may re-lift, so recur
+             (define-values (sub-defs e-expanded) (loop e))
+             (values sub-defs #`(define-values (#,n) #,e-expanded))))
+         (values (append (apply append sub-defss) defs) #'e*)])))
+  #`(begin #,@defs #,expr))