x00A0;T
&#x00A0;<br />
&#x00A0;<br />&#x00A0;&#x00A0;module&#x00A0;M2&#x00A0;where
&#x00A0;<br />&#x00A0;&#x00A0;&#x00A0;&#x00A0;import&#x00A0;M1(x)
&#x00A0;<br />&#x00A0;&#x00A0;&#x00A0;&#x00A0;y&#x00A0;=&#x00A0;x
</div>
     <p class="noindent"></div>
<p class="noindent"> In this example, there is no way to supply an explicit type signature for <span 
class="pcrr7t-">y</span> since <span 
class="pcrr7t-">T</span> is not in scope. Whether or not <span 
class="pcrr7t-">T</span> is
explicitly exported, modul