diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt
index 9cb5e841fc..58f09fd235 100644
--- a/collects/typed-scheme/private/base-env.rkt
+++ b/collects/typed-scheme/private/base-env.rkt
@@ -548,12 +548,12 @@
 [hash-eq? (-> (make-HashtableTop) B)]
 [hash-eqv? (-> (make-HashtableTop) B)]
 [hash-weak? (-> (make-HashtableTop) B)]
-[make-hash (-poly (a b) (-> (-HT a b)))]
-[make-hasheq (-poly (a b) (-> (-HT a b)))]
-[make-hasheqv (-poly (a b) (-> (-HT a b)))]
-[make-weak-hash (-poly (a b) (-> (-HT a b)))]
-[make-weak-hasheq (-poly (a b) (-> (-HT a b)))]
-[make-weak-hasheqv (-poly (a b) (-> (-HT a b)))]
+[make-hash (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))]
+[make-hasheq (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))]
+[make-hasheqv (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))]
+[make-weak-hash (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))]
+[make-weak-hasheq (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))]
+[make-weak-hasheqv (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))]
 [make-immutable-hash (-poly (a b) (-> (-lst (-pair a b)) (-HT a b)))]
 [make-immutable-hasheq (-poly (a b) (-> (-lst (-pair a b)) (-HT a b)))]
 [make-immutable-hasheqv (-poly (a b) (-> (-lst (-pair a b)) (-HT a b)))]