diff --git a/lens/private/compound/join-hash.scrbl b/lens/private/compound/join-hash.scrbl
index 5fe63ab..f11dcf7 100644
--- a/lens/private/compound/join-hash.scrbl
+++ b/lens/private/compound/join-hash.scrbl
@@ -3,8 +3,7 @@
 @(require "../doc-util/main.rkt")
 
 
-@defproc[(lens-join/hash [key key/c] [lens (lens/c target/c value/c)] ... ...)
-         (lens/c target/c (hash/c key/c value/c #:immutable #t))]{
+@defproc[(lens-join/hash [key any/c] [lens lens?] ... ...) lens?]{
   Constructs a lens that combines the view of each
   @racket[lens] into a hash of views with @racket[key]s
   as the hash keys. In the same manner as @racket[lens-join/list],
diff --git a/lens/private/compound/join-list.scrbl b/lens/private/compound/join-list.scrbl
index e835b1c..e9f9cd1 100644
--- a/lens/private/compound/join-list.scrbl
+++ b/lens/private/compound/join-list.scrbl
@@ -2,7 +2,7 @@
 
 @(require "../doc-util/main.rkt")
 
-@defproc[(lens-join/list [lens (lens/c target/c item/c)] ...) (lens/c target/c (listof item/c))]{
+@defproc[(lens-join/list [lens lens?] ...) lens?]{
   Constructs a lens that combines the view of each
   @racket[lens] into a list of views. This lens can
   be used to view and set a list of values in a single
diff --git a/lens/private/compound/join-string.scrbl b/lens/private/compound/join-string.scrbl
index 7d958fe..8db5482 100644
--- a/lens/private/compound/join-string.scrbl
+++ b/lens/private/compound/join-string.scrbl
@@ -3,7 +3,7 @@
 @(require "../doc-util/main.rkt")
 
 
-@defproc[(lens-join/string [lens (lens/c target/c char?)] ...) (lens/c target/c immutable-string?)]{
+@defproc[(lens-join/string [lens lens?] ...) lens?]{
   Like @racket[lens-join/list], except the view is a string, not a list.
   Each @racket[lens] argument must return a @racket[char?] as a view.
   @lens-examples[
diff --git a/lens/private/compound/join-vector.scrbl b/lens/private/compound/join-vector.scrbl
index 66bda68..d8ea98f 100644
--- a/lens/private/compound/join-vector.scrbl
+++ b/lens/private/compound/join-vector.scrbl
@@ -3,8 +3,7 @@
 @(require "../doc-util/main.rkt")
 
 
-@defproc[(lens-join/vector [lens (lens/c target/c item/c)] ...)
-         (lens/c target/c (vector-immutableof item/c))]{
+@defproc[(lens-join/vector [lens lens?] ...) lens?]{
   Like @racket[lens-join/list], except the view is a vector, not a list.
   @lens-examples[
     (define vector-first-third-fifth-lens