from<a href="" name="provingground.scalahott.ScalaUniv.FineSymbTyp" id="provingground.scalahott.ScalaUniv.FineSymbTyp" class="extype">FineSymbTyp</a>[<span name="provingground.scalahott.ScalaUniv.FineSymbTyp.U" class="extype">U</span>] to <span name="scala.Predef.Ensuring" class="extype">Ensuring</span>[<a href="" name="provingground.scalahott.ScalaUniv.FineSymbTyp" id="provingground.scalahott.ScalaUniv.FineSymbTyp" class="extype">FineSymbTyp</a>[<span name="provingground.scalahott.ScalaUniv.FineSymbTyp.U" 