ef="ConstructorShape$.html" title="" class="object"></a> <a href="ConstructorShape.html" title="The introduction rule for an inductive type, as a function of the type; typically (A -&gt; B -&gt; W)-&gt; C -&gt; W -&gt; (D -&gt; W) -&gt; W as a function of W May have Pi-types instead of function types." class="trait"></a><a href="ConstructorShape.html" title="The introduction rule for an inductive type, as a function of the type; typically (A -&gt; B -&gt; W)-&gt; C -&gt; W -&gt; (D -&gt; W) -&gt; W as a fun