diff --git a/lens/applicable.rkt b/lens/applicable.rkt
index 5e4a41a..fa25474 100644
--- a/lens/applicable.rkt
+++ b/lens/applicable.rkt
@@ -1,9 +1,9 @@
 #lang racket/base
 
-(provide (all-from-out "main.rkt"))
+(require reprovide/reprovide)
+(reprovide "main.rkt")
 
-(require "main.rkt"
-         (only-in "private/base/base.rkt" use-applicable-lenses!))
+(require (only-in "private/base/base.rkt" use-applicable-lenses!))
 
 (module+ test
   (require rackunit))
diff --git a/lens/private/base/base.rkt b/lens/private/base/base.rkt
index 179ea96..2ef88b2 100644
--- a/lens/private/base/base.rkt
+++ b/lens/private/base/base.rkt
@@ -1,6 +1,6 @@
 #lang racket/base
-(require (except-in "gen-lens.rkt" gen-lens/c) "make-lens.rkt" "contract.rkt")
-(provide (all-from-out "gen-lens.rkt" "make-lens.rkt" "contract.rkt"))
+(require reprovide/reprovide)
+(reprovide (except-in "gen-lens.rkt" gen-lens/c) "make-lens.rkt" "contract.rkt")
 (module+ test
   (require rackunit racket/list)
   (define (set-first l v)
diff --git a/lens/private/doc-util/main.rkt b/lens/private/doc-util/main.rkt
index 0205894..39cac12 100644
--- a/lens/private/doc-util/main.rkt
+++ b/lens/private/doc-util/main.rkt
@@ -1,38 +1,19 @@
-#lang racket/base
-
-(require syntax/parse/define
-         "deflenses.rkt"
-         "include-sections.rkt"
-         "lenses-examples.rkt"
-         (for-label lens
-                    unstable/lens
-                    racket/base
-                    racket/match
-                    racket/list
-                    racket/vector
-                    racket/stream
-                    racket/set
-                    racket/contract)
-         (for-syntax racket/base
-                     syntax/parse
-                     racket/syntax))
-
-(provide (all-from-out
-          syntax/parse/define
-          "deflenses.rkt"
-          "include-sections.rkt"
-          "lenses-examples.rkt")
-         (for-label (all-from-out
-                     lens
-                     unstable/lens
-                     racket/base
-                     racket/match
-                     racket/list
-                     racket/vector
-                     racket/stream
-                     racket/set
-                     racket/contract))
-         (for-syntax (all-from-out
-                      racket/base
-                      syntax/parse
-                      racket/syntax)))
+#lang sweet-exp reprovide
+syntax/parse/define
+"deflenses.rkt"
+"include-sections.rkt"
+"lenses-examples.rkt"
+for-label
+  lens
+  unstable/lens
+  racket/base
+  racket/match
+  racket/list
+  racket/vector
+  racket/stream
+  racket/set
+  racket/contract
+for-syntax
+  racket/base
+  syntax/parse
+  racket/syntax
diff --git a/lens/private/util/reprovide.rkt b/lens/private/util/reprovide.rkt
deleted file mode 100644
index 7041602..0000000
--- a/lens/private/util/reprovide.rkt
+++ /dev/null
@@ -1,8 +0,0 @@
-#lang racket/base
-
-(provide reprovide)
-
-(define-syntax-rule (reprovide mod-path ...)
-  (begin
-    (require mod-path ...)
-    (provide (all-from-out mod-path ...))))
diff --git a/unstable/lens/syntax.rkt b/unstable/lens/syntax.rkt
index ac00bf2..0efe49b 100644
--- a/unstable/lens/syntax.rkt
+++ b/unstable/lens/syntax.rkt
@@ -1,7 +1,3 @@
-#lang racket/base
-
-(require "syntax/syntax.rkt"
-         "syntax/syntax-keyword.rkt")
-
-(provide (all-from-out "syntax/syntax.rkt"
-                       "syntax/syntax-keyword.rkt"))
+#lang reprovide
+"syntax/syntax.rkt"
+"syntax/syntax-keyword.rkt"