<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy">
<area shape="rect" id="Node000000" href="$a07738.html" title=" " alt="" coords="5,5,203,92"/>
<area shape="rect" id="Node000001" href="$a08954.html" title="One of the binder functors." alt="" coords="251,34,454,64"/>
<area shape="poly" id="edge710_Node000000_Node000001" title=" " alt="" coords="218,46,253,48,248,49,218,51"/>
</map>
