ss="extype">::</span>[<span name="provingground.induction.ConstructorSeqTL.|:.S" class="extype">S</span>, <span name="provingground.induction.ConstructorSeqTL.SS" class="extype">SS</span>], <span name="provingground.induction.ConstructorSeqTL.H" class="extype">H</span>, <span name="shapeless.::" class="extype">::</span>[<span name="provingground.induction.ConstructorSeqTL.|:.ConstructorType" class="extype">ConstructorType</span>, <span name="provingground.induction.ConstructorSeqTL.Intros" class="extype">In