PolyRep</a>.This conversion will take place only if an implicit value of type <a href="ScalaPolyRep.html" name="provingground.scalahott.ScalaPolyRep" id="provingground.scalahott.ScalaPolyRep" class="extype">ScalaPolyRep</a>[<span name="provingground.scalahott.ScalaPolyRep.ScalaPolyTerm.U" class="extype">U</span>, <a href="" name="provingground.scalahott.ScalaPolyRep.OrScalaPolyRep" id="provingground.scalahott.ScalaPolyRep.OrScalaPolyRep" class="extype">OrScalaPolyRep</a>[<span name="provingground.scalahott.