ape.html" title="a family of the form P: A -&gt; B -&gt; W etc, or dependent versions of this as a function of W.">IterFuncShape</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="NoIntro.html" title="" class="class"></a><a href="NoIntro.html" title="">NoIntro</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="NotFunc.html" title="" class="class"></a><a href="NotFunc.html" title="">NotFunc</a></li><li class="current-entities indented2