diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt
index 4e1c1a3eb6..0c2dc2b8d7 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt
@@ -123,7 +123,7 @@
 ;; vars : the variables that are the prefix of the dbound
 ;; dbound : index variable
 (define/cond-contract (move-vars+rest-to-dmap cset vars dbound #:exact [exact? #f])
-  ((cset? symbol? (listof symbol?)) (#:exact boolean?) . ->* . cset?)
+  ((cset? (listof symbol?) symbol?) (#:exact boolean?) . ->* . cset?)
   (mover cset dbound vars
          (λ (cmap)
            ((if exact? make-dcon-exact make-dcon)
diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/promote-demote.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/promote-demote.rkt
index 263b9dc8d9..2f828b263c 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/promote-demote.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/promote-demote.rkt
@@ -3,12 +3,13 @@
 (require "../utils/utils.rkt"
          (rep type-rep rep-utils)
          (types abbrev union utils structural)
+         (prefix-in c: (contract-req))
          racket/performance-hint
          racket/list racket/match)
 
 (provide/cond-contract
-  [var-promote (-> Type/c (listof symbol?) Type/c)]
-  [var-demote (-> Type/c (listof symbol?) Type/c)])
+  [var-promote (c:-> Type/c (c:listof symbol?) Type/c)]
+  [var-demote (c:-> Type/c (c:listof symbol?) Type/c)])
 
 (define (V-in? V . ts)
   (for/or ([e (in-list (append* (map fv ts)))])