alled <span 
class="pcrr7t-">y</span> are exported by both <span 
class="pcrr7t-">B</span>
     and <span 
class="pcrr7t-">C</span>. An error is only reported if <span 
class="pcrr7t-">y</span> is actually mentioned.</li></ul>
 <p class="noindent"> The name occurring in a type signature or fixity declarations is always unqualified, and unambiguously refers to
another declaration in the same declaration list (except that the fixity declaration for a class method can occur at top
level &#8212; Section&#x00A0;