a href="" name="provingground.induction.TypObj" id="provingground.induction.TypObj" class="extype">TypObj</a>[<span name="provingground.induction.TypObj.T" class="extype">T</span>, <span name="provingground.induction.TypObj.C" class="extype">C</span>] to <span name="scala.Predef.Ensuring" class="extype">Ensuring</span>[<a href="" name="provingground.induction.TypObj" id="provingground.induction.TypObj" class="extype">TypObj</a>[<span name="provingground.induction.TypObj.T" class="extype">T</span>, <span nam