="extype">ConstructorTL</a>[<span name="provingground.induction.ConstructorSeqTL.|:.S" class="extype">S</span>, <span name="provingground.induction.ConstructorSeqTL.H" class="extype">H</span>, <span name="provingground.induction.ConstructorSeqTL.|:.ConstructorType" class="extype">ConstructorType</span>]</span>)</span><span class="result">: <a href="" name="provingground.induction.ConstructorSeqTL" id="provingground.induction.ConstructorSeqTL" class="extype">ConstructorSeqTL</a>[<span name="shapeless.::" cla