">TF</span>], <span name="provingground.induction.IndexedIterFuncShape.mapped.TT" class="extype">TT</span>, <span name="provingground.induction.IndexedIterFuncShape.mapped.DT" class="extype">DT</span>, <span name="provingground.induction.IndexedIterFuncShape.mapped.IF" class="extype">IF</span>, <span name="provingground.induction.IndexedIterFuncShape.mapped.IDF" class="extype">IDF</span>, <span name="provingground.induction.IndexedIterFuncShape.mapped.IDFT" class="extype">IDFT</span>] forSome {type TT &lt;: