diff --git a/collects/typed-racket/types/remove-intersect.rkt b/collects/typed-racket/types/remove-intersect.rkt
index f15c69ac83..8d2d456922 100644
--- a/collects/typed-racket/types/remove-intersect.rkt
+++ b/collects/typed-racket/types/remove-intersect.rkt
@@ -60,6 +60,9 @@
          [(list (Pair: a b) (Pair: a* b*))
           (and (overlap a a*)
                (overlap b b*))]
+         ;; lots of things are sequences
+         [(list (Sequence: _) _) #t]
+         [(list _ (Sequence: _)) #t]
          [(or (list (Pair: _ _) _)
               (list _ (Pair: _ _)))
           #f]