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

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