<div dir="ltr">BTW, are there any plans for supporting #:constructor-name in Typed Racket struct?<div><br></div><div>Best,</div><div>António.</div></div>