asses</dt><dd><a href="index.html" name="provingground.induction.coarse" id="provingground.induction.coarse" class="extype">coarse</a></dd></dl></div></li><li class="current-entities indented4"><span class="separator"></span> <a href="ConstructorSeq$$Cons.html" title="" class="class"></a><a href="ConstructorSeq$$Cons.html" title="">Cons</a></li><li class="current-entities indented4"><span class="separator"></span> <a href="" title="" class="class"></a><a href="" title="">Empty</a></li></ul></div></div><div 