verted to ScalaPolyTerm[U, OrScalaPolyRep[U, W]] by the implicit method ScalaPolyTerm in object provingground.scalahott.ScalaPolyRep"] ;
  node4 -> node5[constraint="false", style="invis", minlen="0.0"];

               }
  subgraph clusterThis {
  style="invis"
  node0 [URL="#inheritance-diagram-container", label="OrScalaPolyRep[U, W]", id="graph1_0", class="this class", tooltip="provingground.scalahott.ScalaPolyRep.OrScalaPolyRep (this class)"] ;
}
  
  
  node0 -> node4[label="implicitly", id="0_4", minl