require/typed/provide not providing constructors

[LiberalArtist]

While writing the example code in this Discource reply, I had to create the request value in the untyped submodule because typed/web-server/http did not provide constructors properly. As a more self-contained example, with these definitions:

#lang typed/racket
(require typed/web-server/http)

I get these errors in my interactions:

Welcome to DrRacket, version 8.11.1 [cs].
Language: typed/racket, with debugging; memory limit: 128 MB.
> request
. request: identifier for static struct-type information cannot be used as an expression in: request
> make-request
. Type Checker: missing type for top-level identifier;
 either undefined or missing a type annotation
  identifier: make-request in: make-request
> binding:form
. binding:form: identifier for static struct-type information cannot be used as an expression in: binding:form
> make-binding:form
. Type Checker: missing type for top-level identifier;
 either undefined or missing a type annotation
  identifier: make-binding:form in: make-binding:form

Given these require/typed/provide clauses, I would have expected all four identifiers to be usable as constructors:

typed-racket/typed-racket-more/typed/web-server/http.rkt

Lines 41 to 50 in 2e69dea

	[#:struct request
	([method : Bytes]
	[uri : URL]
	[headers/raw : (Listof Header)]
	[bindings/raw-promise : (Promise (Listof Binding))]
	[post-data/raw : (Option Bytes)]
	[host-ip : String]
	[host-port : Natural]
	[client-ip : String])
	#:extra-constructor-name make-request]

typed-racket/typed-racket-more/typed/web-server/http.rkt

Lines 29 to 33 in 2e69dea

	[#:struct (binding:file binding)
	([filename : Bytes]
	[headers : (Listof Header)]
	[content : Bytes])
	#:extra-constructor-name make-binding:file]

I haven't yet looked into what might be going wrong.