#x00A0;where
&#x00A0;<br />&#x00A0;&#x00A0;&#x00A0;&#x00A0;type&#x00A0;T&#x00A0;=&#x00A0;Int
&#x00A0;<br />&#x00A0;&#x00A0;&#x00A0;&#x00A0;x&#x00A0;::&#x00A0;T
&#x00A0;<br />&#x00A0;&#x00A0;&#x00A0;&#x00A0;x&#x00A0;=&#x00A0;1
</div>
     <p class="noindent"></div>
<p class="noindent"> the type of <span 
class="pcrr7t-">x</span> is both <span 
class="pcrr7t-">T</span> and <span 
class="pcrr7t-">Int</span>; these are interchangeable even when <span 
class="pcrr7t-">T</span> is not in scope. That is, the defin