diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt
index 10219a6b..7a0d94dc 100644
--- a/collects/typed-racket/base-env/base-env.rkt
+++ b/collects/typed-racket/base-env/base-env.rkt
@@ -1357,7 +1357,7 @@
 
 
 ;; scheme/function
-[identity (-poly (a) (-> a a))]
+[identity (-poly (a) (->acc (list a) a null))]
 [const (-poly (a) (-> a (->* '() Univ a)))]
 [negate (-polydots (b) (-> ((list) [b b] . ->... . Univ)
                            ((list) [b b] . ->... . -Boolean)))]