diff --git a/collects/typed-scheme/types/substitute.rkt b/collects/typed-scheme/types/substitute.rkt
index 20d5659b..a2957404 100644
--- a/collects/typed-scheme/types/substitute.rkt
+++ b/collects/typed-scheme/types/substitute.rkt
@@ -19,11 +19,11 @@
   (for/hash ([v (in-list vs)] [t (in-list ts)])
     (values v (t-subst t))))
 
-(d-s/c subst-rhs ())
-(d-s/c (t-subst subst-rhs) ([type Type/c]))
-(d-s/c (i-subst subst-rhs) ([types (listof Type/c)]))
-(d-s/c (i-subst/starred subst-rhs) ([types (listof Type/c)] [starred Type/c]))
-(d-s/c (i-subst/dotted subst-rhs) ([types (listof Type/c)] [dty Type/c] [dbound symbol?]))
+(d-s/c subst-rhs () #:transparent)
+(d-s/c (t-subst subst-rhs) ([type Type/c]) #:transparent)
+(d-s/c (i-subst subst-rhs) ([types (listof Type/c)]) #:transparent)
+(d-s/c (i-subst/starred subst-rhs) ([types (listof Type/c)] [starred Type/c]) #:transparent)
+(d-s/c (i-subst/dotted subst-rhs) ([types (listof Type/c)] [dty Type/c] [dbound symbol?]) #:transparent)
 
 (define substitution/c (hash/c symbol? subst-rhs? #:immutable #t))