diff --git a/typed-racket-compatibility/typed/scheme/base.rkt b/typed-racket-compatibility/typed/scheme/base.rkt
index b31654ce..1ff82eb3 100644
--- a/typed-racket-compatibility/typed/scheme/base.rkt
+++ b/typed-racket-compatibility/typed/scheme/base.rkt
@@ -21,8 +21,8 @@
            (require-typed-struct-legacy require-typed-struct)
            (require/typed-legacy require/typed))
          typed-racket/base-env/base-types
-         typed-racket/base-env/base-types-extra
-	 (for-syntax typed-racket/base-env/base-types-extra))
+         (except-in typed-racket/base-env/base-types-extra Distinction)
+	 (for-syntax (except-in typed-racket/base-env/base-types-extra Distinction)))
 (provide (rename-out [define-type-alias define-type])
          (all-from-out typed-racket/base-env/prims)
          (all-from-out typed-racket/base-env/base-types)