_4_3", class="inheritance", tooltip="FuncPtn[C, F, HC, H] is a subtype of RecursiveConstructorPattern[Cod, ArgT, HeadT, CT, H]"] ;
  node4 -> node2 [arrowtail="empty", dir="back", id="graph1_4_2", class="inheritance", tooltip="CnstFncPtn[T, Cod, HC, H] is a subtype of RecursiveConstructorPattern[Cod, ArgT, HeadT, CT, H]"] ;
  node4 -> node1 [arrowtail="empty", dir="back", id="graph1_4_1", class="inheritance", tooltip="CnstDepFuncPtn[T, V, VV, C, HC, H] is a subtype of RecursiveConstructorPattern[Cod, ArgT, 