diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt
index 03b6fb97..0d1d435a 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt
@@ -289,12 +289,11 @@
             (c:-> (c:listof Type/c) Type/c Type/c integer? (c:listof PathElem?) Type/c))
   (case-lambda
     [(in out t n p)
-     (define xs (for/list ([(_ i) (in-indexed (in-list in))]) i))
      (make-Function
       (list
        (make-arr*
 	in out
-	#:filters (-FS (-filter t (list-ref xs n) p) (-not-filter t (list-ref xs n) p)))))]
+	#:filters (-FS (-filter t n p) (-not-filter t n p)))))]
     [(in out t n)
      (make-pred-ty in out t n null)]
     [(in out t)