<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy">
<area shape="rect" id="Node000000" href="$a07755.html" title=" " alt="" coords="5,5,203,92"/>
<area shape="rect" id="Node000001" href="$a08975.html" title="One of the binder functors." alt="" coords="251,34,454,64"/>
<area shape="poly" id="edge704_Node000000_Node000001" title=" " alt="" coords="218,46,250,46,250,51,218,51"/>
</map>
