"java.io.Serializable" id="java.io.Serializable" class="extype">Serializable</a>, <span name="scala.Product" class="extype">Product</span>, <span name="scala.Equals" class="extype">Equals</span>, <a href="IndexedIterFuncShape.html" name="provingground.induction.IndexedIterFuncShape" id="provingground.induction.IndexedIterFuncShape" class="extype">IndexedIterFuncShape</a>[<span name="provingground.induction.IndexedIterFuncShape.FuncShape.H" class="extype">H</span>, <a href="../HoTT$$Func.html" name="provingg