 tageting type families to allow equality and  toString to work.">LambdaTypFamilyIsle</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="TermGeneratorNodes$NodeForTyp$.html" title="" class="object"></a><a href="TermGeneratorNodes$NodeForTyp$.html" title="">NodeForTyp</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="TermGeneratorNodes$PiIsle$.html" title="" class="object"></a><a href="TermGeneratorNodes$PiIsle$.html" title="">PiIsle<