</a>[<span name="provingground.induction.coarse.ConstructorPattern.CnstFncPtn.T" class="extype">T</span>]</span>, <span name="head">head: <a href="ConstructorPattern.html" name="provingground.induction.coarse.ConstructorPattern" id="provingground.induction.coarse.ConstructorPattern" class="extype">ConstructorPattern</a>[<span name="provingground.induction.coarse.ConstructorPattern.CnstFncPtn.Cod" class="extype">Cod</span>, <span name="provingground.induction.coarse.ConstructorPattern.CnstFncPtn.HC" class="e