ns: given a scala type that is a subtype of Typ[C], recovers C, eg shows that FuncTyp[A, B] is a subtype of Typ[Func[A, B]]" class="class"></a><a href="TypObj.html" title="aid for implicit calculations: given a scala type that is a subtype of Typ[C], recovers C, eg shows that FuncTyp[A, B] is a subtype of Typ[Func[A, B]]">TypObj</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="WeakImplicit.html" title="" class="trait"></a><a href="WeakImplicit.html" title="">WeakImplic