red"
	  ><TT
	    ><U
	      ><B
		>where</B
		></U
	      ></TT
	    ></FONT
	  ><BR
	  ><TT
	  >&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT
	  ><TT
	  ><I
	    >showsPrec&nbsp;p&nbsp;</I
	    ></TT
	  ><FONT COLOR = "navy"
	  ><TT
	    ><B
	      >=&nbsp;</B
	      ></TT
	    ></FONT
	  ><TT
	  ><I
	    >showsTable</I
	    ></TT
	  ><BR
	  ><BR
	  ><FONT COLOR = "red"
	  ><TT
	    ><U
	      ><B
		>type</B
		></U
	      ></TT
	    ></FONT
	  ><TT
	  >&nbsp;</TT
	  ><TT
	