cTypUniv</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="ScalaUniv$$HigherUniv.html" title="given a universe with objects of scala type Typ[U], gives one with scala type Typ[Typ[U]]" class="class"></a><a href="ScalaUniv$$HigherUniv.html" title="given a universe with objects of scala type Typ[U], gives one with scala type Typ[Typ[U]]">HigherUniv</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="ScalaUniv$$PiTypUniv.html" title="Uni