[+] type PInfo = TypeBounds

[+] type This = Nothing <: TypeLambda

[+] type ThisName = TypeName

[+] lazy val typeParams : List [ LambdaParam ]

[+] def derivedLambdaAbstraction ( paramNames: List [ TypeName ] , paramInfos: List [ TypeBounds ] , resType: Type ) ( implicit ctx: Context ) : Type

[+] final def instantiateBounds ( argTypes: List [ Type ] ) ( implicit ctx: Context ) : List [ Type ]

[+] def isDependent ( implicit ctx: Context ) : Boolean

[+] def isParamDependent ( implicit ctx: Context ) : Boolean

[+] def newParamRef ( n: Int ) : ParamRef