[+] def any ( n: Int ) ( implicit ctx: Context ) : PolyType

[+] def apply ( paramNames: List [ TypeName ] ) ( paramInfosExp: PolyType => List [ TypeBounds ] , resultTypeExp: PolyType => Type ) ( implicit ctx: Context ) : PolyType

[+] def unapply ( tl: PolyType ) : Some [ ( List [ LambdaParam ], Type ) ]