<div>The following does not work.  Bug?</div><div><br></div><div>#lang typed/racket/base</div><div><br></div><div>(module mytypes typed/racket/base</div><div>  </div><div>  (provide    </div><div>   (struct-out S))</div><div>
  </div><div>  (struct: S ()))</div><div><br></div><div>(module tyuser typed/racket/base</div><div>  </div><div>  (require </div><div>   (submod &quot;..&quot; mytypes))</div><div>  </div><div>  (: mkS (Any -&gt; S))</div>
<div>  (define (mkS value)</div><div>    (S)))</div>