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 6e095e16..ab48e908 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
@@ -1345,6 +1345,10 @@
 [poll-guard-evt
  (-poly (a) (-> (-> -Boolean (-evt a)) (-evt a)))]
 [always-evt (-mu x (-evt x))]
+[replace-evt (-poly (a b)
+               (cl->*
+                 (-> (-evt a) (-> a (-evt b)) (-evt b))
+                 (-> (-evt a) (-> a b) (-mu x (-evt x)))))]
 [never-evt (-evt (Un))]
 [system-idle-evt (-> (-evt -Void))]
 [alarm-evt (-> -Real (-mu x (-evt x)))]