./../scala/index.html#List[+A]=List[A]" name="scala.List" id="scala.List" class="extmbr">List</a>[<a href="Constructor.html" name="provingground.induction.coarse.Constructor" id="provingground.induction.coarse.Constructor" class="extype">Constructor</a>[<span name="provingground.induction.coarse.ConstructorSeq.fold.C" class="extype">C</span>, <span name="provingground.induction.coarse.ConstructorSeq.fold.H" class="extype">H</span>]]) =&gt; <a href="ConstructorSeq.html" name="provingground.induction.coarse.C