cmmi-10">qvarid</span>, which must be in scope. Operators should be enclosed in
     parentheses to turn them into <span 
class="cmmi-10">qvarid</span>s.
     </li>
     <li 
  class="enumerate" id="x11-100007x2">An algebraic datatype <span 
class="cmmi-10">T</span> <a 
 id="dx11-100008"></a>declared by a <span 
class="pcrr7t-">data</span> or <span 
class="pcrr7t-">newtype</span> declaration may be named in one of three
     ways:
         <ul class="itemize1">
         <li class="itemize">The form <span 
c