mplicit-outgoing class", tooltip="provingground.translation.Translator.Empty can be implicitly converted to UnliftOps[I, O] by the implicit method UnliftOps in object scala.Function1"] ;
  
               }
  subgraph clusterThis {
  style="invis"
  node0 [URL="#inheritance-diagram-container", label="Empty[I, O]", id="graph1_0", class="this class", tooltip="provingground.translation.Translator.Empty (this class)"] ;
}
  
  
  node0 -> node4[label="implicitly", id="0_4", minlen="2", ltail="clusterThis", lhea