diff --git a/collects/typed-racket/base-env/prims.rkt b/collects/typed-racket/base-env/prims.rkt
index afb906c729..bb8f7108b1 100644
--- a/collects/typed-racket/base-env/prims.rkt
+++ b/collects/typed-racket/base-env/prims.rkt
@@ -406,6 +406,12 @@ This file defines two sorts of primitives. All of them are provided into any mod
     [(let: . rest)
      (syntax/loc stx (let-internal: . rest))]))
 
+(define-syntax (plet: stx)
+  (syntax-parse stx #:literals (:)
+    [(_ (A:id ...) ([bn:optionally-annotated-name e] ...) . body)
+     (syntax/loc stx
+       ((plambda: (A ...) (bn ...) . body) e ...))]))
+
 (define-syntax (define-type-alias stx)
   (syntax-parse stx
     [(_ tname:id rest)