#"
	      >two</a
	      > :: <a href="#" title="Data.Int"
	      >Int</a
	      ></li
	    ><li class="src short"
	    ><a href="#"
	      >three</a
	      > :: <a href="#" title="Data.Int"
	      >Int</a
	      ></li
	    ></ul
	  ></details
	></div
      ><div id="interface"
      ><a href="#" id="g:1"
	><h1
	  >Foo</h1
	  ></a
	><div class="top"
	><p class="src"
	  ><a id="v:foo" class="def"
	    >foo</a
	    > :: <a href="#" title="Data.Int"
	    >Int</a
	    > <a href="#" class="selflink"
	    >#</a
	