diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
index 3c33ac7e..85a0a011 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
@@ -563,12 +563,12 @@
                         ((a . -> . Univ) (-lst a) . -> . (-lst a))))]
 [shuffle (-poly (a) (-> (-lst a) (-lst a)))]
 
-[remove  (-poly (a) (a (-lst a) . -> . (-lst a)))]
-[remq    (-poly (a) (a (-lst a) . -> . (-lst a)))]
-[remv    (-poly (a) (a (-lst a) . -> . (-lst a)))]
-[remove* (-poly (a b) ((-lst a) (-lst a) [(a b . -> . B)] . ->opt . (-lst b)))]
-[remq*   (-poly (a) (cl-> [((-lst a) (-lst a)) (-lst a)]))]
-[remv*   (-poly (a) (cl-> [((-lst a) (-lst a)) (-lst a)]))]
+[remove  (-poly (a) (Univ (-lst a) . -> . (-lst a)))]
+[remq    (-poly (a) (Univ (-lst a) . -> . (-lst a)))]
+[remv    (-poly (a) (Univ (-lst a) . -> . (-lst a)))]
+[remove* (-poly (a b) ((-lst a) (-lst b) [(a b . -> . B)] . ->opt . (-lst b)))]
+[remq*   (-poly (a) (-> (-lst Univ) (-lst a) (-lst a)))]
+[remv*   (-poly (a) (-> (-lst Univ) (-lst a) (-lst a)))]
 #|
 [sort (-poly (a b) (cl->* ((-lst a) (a a . -> . B)
                           #:cache-keys? B #f
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
index c91b3217..b0537ae3 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
@@ -1888,6 +1888,14 @@
        [tc-e
         (string-trim "  foo bar  baz \r\n\t" " " #:repeat? #t)
         -String]
+
+       ;; remove and friends
+       [tc-e (remq #f '(1 2 3 4)) (-lst -PosByte)]
+       [tc-e (remv #f '(1 2 3 4)) (-lst -PosByte)]
+       [tc-e (remove #f '(1 2 3 4)) (-lst -PosByte)]
+       [tc-e (remove* '(1 2) '(a b c d)) (-lst (one-of/c 'a 'b 'c 'd))]
+       [tc-e (remq* '(1 2) '(a b c d)) (-lst (one-of/c 'a 'b 'c 'd))]
+       [tc-e (remv* '(1 2) '(a b c d)) (-lst (one-of/c 'a 'b 'c 'd))]
         )
   (test-suite
    "tc-literal tests"