s, which the compiler knows are types.">FineSymbTyp</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="ScalaUniv$$FineUniv.html" title="" class="class"></a><a href="ScalaUniv$$FineUniv.html" title="">FineUniv</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="ScalaUniv$$FuncTypUniv.html" title="Universe whose elements are FuncTyps" class="class"></a><a href="ScalaUniv$$FuncTypUniv.html" title="Universe whose elements are FuncTyps">Fun