not"
      ><a href="Constructors.html#Foo"
	><span class="hs-identifier hs-type"
	  >Foo</span
	  ></a
	></span
      ><span class="hs-special"
      >,</span
      ><span
      > </span
      ><span class="hs-special"
      >[</span
      ><span class="annot"
      ><a href="Constructors.html#Foo"
	><span class="hs-identifier hs-type"
	  >Foo</span
	  ></a
	></span
      ><span class="hs-special"
      >]</span
      ><span class="hs-special"
      >,</span
      ><span
      > </span
      ><span class="