></ul>
     <p class="noindent"> In all cases, the (possibly-qualified) type constructor <span 
class="cmmi-10">T</span> must be in scope. The constructor and field names <span 
class="cmmi-10">c</span><sub><span 
class="cmmi-7">i</span></sub> in
     the second form are unqualified; one of these subordinate names is legal if and only if (a) it names a
     constructor or field of <span 
class="cmmi-10">T</span> , and (b) the constructor or field is in scope in the module body <span 
class="ptmri7t-">regard