class="hs-identifier hs-var"
	    >x</span
	    ></a
	  ></span
	><span class="hs-special"
	>,</span
	><span
	> </span
	><span class="annot"
	><span class="annottext"
	  >a
</span
	  ><a href="#"
	  ><span class="hs-identifier hs-var"
	    >y</span
	    ></a
	  ></span
	><span class="hs-special"
	>]</span
	></span
      ><span
      >
</span
      ><span id="line-21"
      ></span
      ><span
      >
</span
      ><span id="line-22"
      ></span
      ><span
      >    </span
      ><span id="norf"
      