diff --git a/typed-racket-lib/typed-racket/rep/type-rep.rkt b/typed-racket-lib/typed-racket/rep/type-rep.rkt
index 6fbef055..442d0889 100644
--- a/typed-racket-lib/typed-racket/rep/type-rep.rkt
+++ b/typed-racket-lib/typed-racket/rep/type-rep.rkt
@@ -22,7 +22,8 @@
                      racket/syntax
                      syntax/parse))
 
-(provide (all-from-out "core-rep.rkt")
+(provide (except-out (all-from-out "core-rep.rkt")
+                     Type Prop Object PathElem SomeValues)
          Type?
          Mu-name:
          Poly-names: Poly-fresh: