lusterThis {
  style="invis"
  node0 [URL="#inheritance-diagram-container", label="FuncShape[TT, TF, H, Fb, Index]", id="graph1_0", class="this class", tooltip="provingground.induction.IndexedIterFuncShape.FuncShape (this class)"] ;
}
  
  
  
}
  
  
  node1 [URL="IndexedIterFuncShape.html#inheritance-diagram-container", label="IndexedIterFuncShape[H, Func[TT, TF], Fb, Index]", id="graph1_1", class="default", tooltip="provingground.induction.IndexedIterFuncShape"] ;
  node2 [label="Product", id="graph1_2",