an 
class="pcrr7t-">F.sin</span> must both be qualified to make it unambiguous which <span 
class="pcrr7t-">sin</span> is meant. However, the
unqualified name <span 
class="pcrr7t-">sin</span> in the type signature in the first line of <span 
class="pcrr7t-">F</span> unambiguously refers to the local declaration for
<span 
class="pcrr7t-">sin</span>.
<p class="noindent">
<h4 class="subsectionHead"><span class="titlemark">5.5.3    </span> <a 
 id="x11-1100005.5.3"></a>Closure</h4>
<a 
 id="dx11-110001"></a>
