diff --git a/info.rkt b/info.rkt
index 4660de1..a049704 100644
--- a/info.rkt
+++ b/info.rkt
@@ -15,6 +15,7 @@
     "alexis-util"
     "sweet-exp"
     "kw-make-struct"
+    "reprovide-lang"
     "scribble-lib"))
 
 
diff --git a/lens/main.rkt b/lens/main.rkt
index ee68c5e..70d4906 100644
--- a/lens/main.rkt
+++ b/lens/main.rkt
@@ -1,7 +1,2 @@
-#lang sweet-exp racket/base
-
-require "private/main.rkt"
-
-provide
-  all-from-out
-    "private/main.rkt"
+#lang reprovide
+"private/main.rkt"
diff --git a/lens/private/base/main.rkt b/lens/private/base/main.rkt
index c24eaf7..97b6a0e 100644
--- a/lens/private/base/main.rkt
+++ b/lens/private/base/main.rkt
@@ -1,12 +1,4 @@
-#lang sweet-exp racket/base
-
-require
-  "base.rkt"
-  "view-set.rkt"
-  "transform.rkt"
-
-provide
-  all-from-out
-    "base.rkt"
-    "view-set.rkt"
-    "transform.rkt"
+#lang reprovide
+"base.rkt"
+"view-set.rkt"
+"transform.rkt"
diff --git a/lens/private/compound/main.rkt b/lens/private/compound/main.rkt
index ba9703c..f6367be 100644
--- a/lens/private/compound/main.rkt
+++ b/lens/private/compound/main.rkt
@@ -1,20 +1,8 @@
-#lang sweet-exp racket/base
-
-require
-  "compose.rkt"
-  "identity.rkt"
-  "join-hash.rkt"
-  "join-list.rkt"
-  "join-string.rkt"
-  "join-vector.rkt"
-  "thrush.rkt"
-
-provide
-  all-from-out
-    "compose.rkt"
-    "identity.rkt"
-    "join-hash.rkt"
-    "join-list.rkt"
-    "join-string.rkt"
-    "join-vector.rkt"
-    "thrush.rkt"
+#lang reprovide
+"compose.rkt"
+"identity.rkt"
+"join-hash.rkt"
+"join-list.rkt"
+"join-string.rkt"
+"join-vector.rkt"
+"thrush.rkt"
diff --git a/lens/private/hash/main.rkt b/lens/private/hash/main.rkt
index 24d3654..678fed5 100644
--- a/lens/private/hash/main.rkt
+++ b/lens/private/hash/main.rkt
@@ -1,12 +1,4 @@
-#lang racket/base
-
-
-(require "nested.rkt"
-         "pick.rkt"
-         "ref.rkt")
-
-
-(provide
- (all-from-out "nested.rkt"
-               "pick.rkt"
-               "ref.rkt"))
+#lang reprovide
+"nested.rkt"
+"pick.rkt"
+"ref.rkt"
diff --git a/lens/private/list/main.rkt b/lens/private/list/main.rkt
index a7fc4fc..5c61c69 100644
--- a/lens/private/list/main.rkt
+++ b/lens/private/list/main.rkt
@@ -1,14 +1,6 @@
-#lang racket/base
-
-(require "car-cdr.rkt"
-         "list-ref-take-drop.rkt"
-         "cadr-etc.rkt"
-         "multi.rkt"
-         "assoc.rkt")
-
-(provide (all-from-out
-          "car-cdr.rkt"
-          "list-ref-take-drop.rkt"
-          "cadr-etc.rkt"
-          "multi.rkt"
-          "assoc.rkt"))
+#lang reprovide
+"car-cdr.rkt"
+"list-ref-take-drop.rkt"
+"cadr-etc.rkt"
+"multi.rkt"
+"assoc.rkt"
diff --git a/lens/private/main.rkt b/lens/private/main.rkt
index c70847d..fbe5328 100644
--- a/lens/private/main.rkt
+++ b/lens/private/main.rkt
@@ -1,30 +1,17 @@
-#lang sweet-exp racket/base
-
-require
-  "base/main.rkt"
-  "compound/main.rkt"
-  "dict.rkt"
-  "hash/main.rkt"
-  "list/main.rkt"
-  "stream.rkt"
-  "string.rkt"
-  "struct/main.rkt"
-  "vector/main.rkt"
-
-provide
-  except-out
-    all-from-out
-      "base/main.rkt"
-      "compound/main.rkt"
-      "dict.rkt"
-      "hash/main.rkt"
-      "list/main.rkt"
-      "stream.rkt"
-      "string.rkt"
-      "struct/main.rkt"
-      "vector/main.rkt"
-    gen:lens
-    focus-lens
-    drop-lens
-    take-lens
-    use-applicable-lenses!
+#lang sweet-exp reprovide
+except-in
+  combine-in
+    "base/main.rkt"
+    "compound/main.rkt"
+    "dict.rkt"
+    "hash/main.rkt"
+    "list/main.rkt"
+    "stream.rkt"
+    "string.rkt"
+    "struct/main.rkt"
+    "vector/main.rkt"
+  gen:lens
+  focus-lens
+  drop-lens
+  take-lens
+  use-applicable-lenses!
diff --git a/lens/private/struct/main.rkt b/lens/private/struct/main.rkt
index 3912407..5d8ab08 100644
--- a/lens/private/struct/main.rkt
+++ b/lens/private/struct/main.rkt
@@ -1,8 +1,3 @@
-#lang racket/base
-
-(require "field.rkt"
-         "struct.rkt")
-
-(provide
- (all-from-out "field.rkt"
-               "struct.rkt"))
+#lang reprovide
+"field.rkt"
+"struct.rkt"
diff --git a/lens/private/vector/main.rkt b/lens/private/vector/main.rkt
index 24d3654..678fed5 100644
--- a/lens/private/vector/main.rkt
+++ b/lens/private/vector/main.rkt
@@ -1,12 +1,4 @@
-#lang racket/base
-
-
-(require "nested.rkt"
-         "pick.rkt"
-         "ref.rkt")
-
-
-(provide
- (all-from-out "nested.rkt"
-               "pick.rkt"
-               "ref.rkt"))
+#lang reprovide
+"nested.rkt"
+"pick.rkt"
+"ref.rkt"
diff --git a/unstable/lens.rkt b/unstable/lens.rkt
index fe7735c..72e3a47 100644
--- a/unstable/lens.rkt
+++ b/unstable/lens.rkt
@@ -1,5 +1,2 @@
-#lang racket/base
-
-(require "lens/main.rkt")
-
-(provide (all-from-out "lens/main.rkt"))
+#lang reprovide
+"lens/main.rkt"
diff --git a/unstable/lens/isomorphism.rkt b/unstable/lens/isomorphism.rkt
index aa41a8d..7fe763a 100644
--- a/unstable/lens/isomorphism.rkt
+++ b/unstable/lens/isomorphism.rkt
@@ -1,10 +1,3 @@
-#lang sweet-exp racket/base
-
-require
-  "isomorphism/base.rkt"
-  "isomorphism/data.rkt"
-
-provide
-  all-from-out
-    "isomorphism/base.rkt"
-    "isomorphism/data.rkt"
+#lang reprovide
+"isomorphism/base.rkt"
+"isomorphism/data.rkt"
diff --git a/unstable/lens/main.rkt b/unstable/lens/main.rkt
index e381525..185a700 100644
--- a/unstable/lens/main.rkt
+++ b/unstable/lens/main.rkt
@@ -1,16 +1,13 @@
-#lang sweet-exp racket/base
-require lens/private/util/reprovide
-reprovide
-  "arrow.rkt"
-  "if.rkt"
-  "isomorphism.rkt"
-  "mapper.rkt"
-  "match.rkt"
-  "set-filterer.rkt"
-  "string-split.rkt"
-  "struct-join.rkt"
-  "struct-nested.rkt"
-  "sublist.rkt"
-  "syntax.rkt"
-  "view-set.rkt"
-
+#lang reprovide
+"arrow.rkt"
+"if.rkt"
+"isomorphism.rkt"
+"mapper.rkt"
+"match.rkt"
+"set-filterer.rkt"
+"string-split.rkt"
+"struct-join.rkt"
+"struct-nested.rkt"
+"sublist.rkt"
+"syntax.rkt"
+"view-set.rkt"