[+] def apply ( binder: TypeLambda , paramNum: Int ) : R

[+] def unapply ( x$1: TypeParamRef ) : TypeParamRef