lass="extype">HNil</span>, <span name="shapeless.::" class="extype">::</span>[<span name="shapeless.::" class="extype">::</span>[<a href="../induction/IndexedConstructorShape$$IndexedCnstDepFuncConsShape$.html" name="provingground.induction.IndexedConstructorShape.IndexedCnstDepFuncConsShape" id="provingground.induction.IndexedConstructorShape.IndexedCnstDepFuncConsShape" class="extype">IndexedCnstDepFuncConsShape</a>.type, <span name="shapeless.::" class="extype">::</span>[<a href="../induction/IndexedCons