e <span 
class="pcrr7t-">M2</span> knows enough about <span 
class="pcrr7t-">T</span> to correctly type check the program.
 <p class="noindent"> The type of an exported entity is unaffected by non-exported type synonyms. For example, in
     <div class="quote">
                                                                                   

                                                                                   
     <div class="verbatim" id="verbatim-101">
&#x00A0;&#x00A0;module&#x00A0;M(x)&