The following code works and prints &quot;Tony&quot;.<br>Notice changing from #lang typed/racket to #lang racket/base.<br><br>========<br>#lang racket/base<br>(module zoo typed/racket<br>  (provide tiger)  <br>  (: tiger String)<br>

  (define tiger &quot;Tony&quot;))<br>(require &#39;zoo)<br>tiger<br>========<br><br>[]&#39;s<br><br>Rodolfo<br>