 </TD>
    <TD align="center">::=</TD>
    <TD> <I>tyvarseq</I> <I>tycon</I> </TD>
    <TD> extensible datatype </TD>
  </TR>
  <TR></TR>
  <TR>
    <TD> <I>econbind</I> </TD>
    <TD align="center">::=</TD>
    <TD> &lt;<TT>op</TT>&gt; <I>vid</I> &lt;<TT>of</TT> <I>ty</I>&gt;
         <TT>:</TT> <I>tyvarseq</I> <I>longtycon</I>
	 &lt;<TT>and</TT> <I>econbind</I>&gt; </TD>
    <TD> new constructor </TD>
  </TR>
  <TR>
    <TD></TD> <TD></TD>
    <TD> &lt;<TT>op</TT>&gt; <I>vid</I>
         <TT>=</TT> &lt;<T