diff --git a/collects/typed-racket/rep/type-rep.rkt b/collects/typed-racket/rep/type-rep.rkt
index 3621e38d64..b4eceb5e54 100644
--- a/collects/typed-racket/rep/type-rep.rkt
+++ b/collects/typed-racket/rep/type-rep.rkt
@@ -139,7 +139,6 @@
   [#:frees (λ (f) (make-invariant (combine-frees (list (f left) (f right)))))]
   [#:key 'mpair])
 
-
 ;; elem is a Type
 (def-type Vector ([elem Type/c])
   [#:frees (λ (f) (make-invariant (f elem)))]
@@ -178,15 +177,10 @@
 (def-type CustodianBox ([elem Type/c])
   [#:key 'custodian-box])
 
-
-
 ;; elem is a Type
 (def-type Set ([elem Type/c])
   [#:key 'set])
 
-
-
-
 ;; name is a Symbol (not a Name)
 ;; contract is used when generating contracts from types
 ;; predicate is used to check (at compile-time) whether a value belongs
@@ -583,9 +577,6 @@
                 (cdr names)
                 (sub1 count))))))
 
-;(trace abstract-many)
-
-
 ;; instantiate-many : List[Type] Scope^n -> Type
 ;; where n is the length of types
 ;; all of the types MUST be Fs
@@ -640,8 +631,6 @@
 (define (instantiate type sc)
   (instantiate-many (list type) sc))
 
-#;(trace instantiate-many abstract-many)
-
 ;; the 'smart' constructor
 (define (Mu* name body)
   (let ([v (*Mu (abstract name body))])
@@ -800,6 +789,3 @@
                      (list syms (PolyDots-body* syms t))))
                  (list nps bp)))])))
 
-;(trace subst subst-all)
-;(trace unfold)
-