
	><span class="keyword"
	  >data</span
	  > (a <a href="" target="main"
	  >:+:</a
	  > b) c</p
	></div
      ><div class="top"
      ><p class="src"
	><span class="keyword"
	  >data</span
	  > <a href="" target="main"
	  >Op</a
	  > a b</p
	></div
      ><div class="top"
      ><p class="src"
	><span class="keyword"
	  >data</span
	  > <a href="" target="main"
	  >O</a
	  > g f a</p
	></div
      ><div class="top"
      ><p class="src"
	><span class="keyword"
	  >class</span
	  > a <a href="" target="main