pan
	></span
      ><span
      > </span
      ><span class="annot"
      ><span class="annottext"
	>a
</span
	><a href="#"
	><span class="hs-identifier hs-var"
	  >a</span
	  ></a
	></span
      ><span
      >
</span
      ><span id="line-37"
      ></span
      ><span
      >    </span
      ><span class="annot"
      ><a href="Classes.html#plugh"
	><span class="hs-identifier hs-var"
	  >plugh</span
	  ></a
	></span
      ><span
      > </span
      ><span class="hs-special"
      >(</span
      ><span cl