diff --git a/typed-racket-lib/typed-racket/types/current-seen.rkt b/typed-racket-lib/typed-racket/types/current-seen.rkt
index ed92b27c..0b671243 100644
--- a/typed-racket-lib/typed-racket/types/current-seen.rkt
+++ b/typed-racket-lib/typed-racket/types/current-seen.rkt
@@ -24,5 +24,5 @@
       A))
 (define (seen? ss st cs)
   (for/or ([i (in-list cs)])
-    (and (pair? i) (eq? ss (unsafe-car i)) (eq? st (unsafe-cdr i)))))
+    (and (eq? ss (car i)) (eq? st (unsafe-cdr i)))))