rSeq[C,H]#RecType"></a><a id="recFn[C&lt;:TermwithSubs[C],H&lt;:TermwithSubs[H]](List[Constructor[C,H]],Typ[H],Typ[C]):RecType"></a> <span class="permalink"><a href="../../../provingground/induction/coarse/ConstructorSeq$.html#recFn[C&lt;:provingground.HoTT.Termwithprovingground.HoTT.Subs[C],H&lt;:provingground.HoTT.Termwithprovingground.HoTT.Subs[H]](cs:List[provingground.induction.coarse.Constructor[C,H]],W:provingground.HoTT.Typ[H],X:provingground.HoTT.Typ[C]):provingground.induction.coarse.ConstructorSe