="extype">U</span>] with <a href="../HoTT$$Symbolic.html" name="provingground.HoTT.Symbolic" id="provingground.HoTT.Symbolic" class="extype">Symbolic</a> with <span name="scala.Product" class="extype">Product</span> with <a href="../../scala/index.html#Serializable=java.io.Serializable" name="scala.Serializable" id="scala.Serializable" class="extmbr">Serializable</a></span></span></h4><div id="comment" class="fullcommenttop"><div class="comment cmt"><p>Symbolic types, which the compiler knows are types.</p>