ition of <span 
class="pcrr7t-">T</span> is
available to any module that encounters it whether or not the name <span 
class="pcrr7t-">T</span> is in scope. The only reason to export <span 
class="pcrr7t-">T</span> is to
allow other modules to refer it by name; the type checker finds the definition of <span 
class="pcrr7t-">T</span> if needed whether or not it is
exported.
<p class="noindent">
<h3 class="sectionHead"><span class="titlemark">5.6    </span> <a 
 id="x11-1110005.6"></a>Standard Prelude</h3>
<a 