arams">(<span class="implicit">implicit </span><span name="base">base: <a href="Curry.html" name="provingground.induction.coarse.Curry" id="provingground.induction.coarse.Curry" class="extype">Curry</a>[<span name="provingground.induction.coarse.Curry.funcCurry.Iter" class="extype">Iter</span>, <span name="provingground.induction.coarse.Curry.funcCurry.Total" class="extype">Total</span>, <span name="provingground.induction.coarse.Curry.funcCurry.Cod" class="extype">Cod</span>]</span>)</span><span class="res