used mainly for constructor patterns, with the W being fixed.
</p></div><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="" name="provingground.induction.IterFuncShape.FuncShape" id="provingground.induction.IterFuncShape.FuncShape" class="extype">FuncShape</a> → <a href="IterFuncShape.html" name="provingground.induction.IterFuncShape" id="provingground.induction.IterFuncShape" class="extype">IterFuncShape</a></dd></dl></div></li><li class="indented0 " name="scala.Any#asInstanceOf" group