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 ab48e90869..679beab2dd 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
@@ -1024,6 +1024,10 @@
 [procedure? (make-pred-ty top-func)]
 [compose (-poly (a b c) (-> (-> b c) (-> a b) (-> a c)))]
 [compose1 (-poly (a b c) (-> (-> b c) (-> a b) (-> a c)))]
+[procedure-rename (-> top-func -Symbol top-func)]
+[procedure->method (-> top-func top-func)]
+[procedure-closure-contents-eq? (-> top-func top-func -Boolean)]
+;; keyword-apply - hard to give a type
 [procedure-arity (-> top-func (Un -Nat -Arity-At-Least (-lst (Un -Nat -Arity-At-Least))))]
 [procedure-arity? (make-pred-ty (Un -Nat -Arity-At-Least (-lst (Un -Nat -Arity-At-Least))))]
 [procedure-arity-includes? (->opt top-func -Nat [Univ] B)]
diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt
index d35618d29c..21ade345cd 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt
@@ -2101,6 +2101,8 @@
                -> Void)]
          [on-save-file (Path Load/Save-Format -> Void)]
          [on-snip-modified ((Instance Snip%) Any -> Void)]
+         [on-goodbye-event ((Instance DC<%>) Real Real Real Real
+                            (Instance Mouse-Event%) -> Void)]
          [own-caret (Any -> Void)]
          [paste (case-> (-> Void) (Integer -> Void))]
          [paste-x-selection (case-> (-> Void) (Integer -> Void))]