tructorShape$$IndexedCnstFuncConsShape$.html" name="provingground.induction.IndexedConstructorShape.IndexedCnstFuncConsShape" id="provingground.induction.IndexedConstructorShape.IndexedCnstFuncConsShape" class="extype">IndexedCnstFuncConsShape</a>.type, <span name="shapeless.::" class="extype">::</span>[<a href="../induction/IndexedConstructorShape$$IndexedIndexedFuncConsShape$.html" name="provingground.induction.IndexedConstructorShape.IndexedIndexedFuncConsShape" id="provingground.induction.IndexedConstru