diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt
index 478a1d06..bdd80630 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt
@@ -534,9 +534,7 @@
   (define formals (syntax->list formals*))
   (with-lexical-env/extend
    formals args
-   (let* ([r (tc-results->values return)]
-          [t (make-arr args r)]
-          [ft (make-Function (list t))])
+   (let* ([ft (->* args (tc-results->values return))]
      (with-lexical-env/extend
       (list name) (list ft)
       (values