adfibre">headfibre: (<span name="provingground.induction.coarse.ConstructorPattern.DepFuncPtn.F" class="extype">F</span>) =&gt; <a href="ConstructorPattern.html" name="provingground.induction.coarse.ConstructorPattern" id="provingground.induction.coarse.ConstructorPattern" class="extype">ConstructorPattern</a>[<span name="provingground.induction.coarse.ConstructorPattern.DepFuncPtn.C" class="extype">C</span>, <span name="provingground.induction.coarse.ConstructorPattern.DepFuncPtn.U" class="extype">U</span>