[Typing-sig] Re: Draft PEP for Improved Type Parameter Syntax

I really like this PEP but I'm curious as to if there will be any way to subscript a function at runtime to bind the type parameters to something and there would be any way to extract the subscripted functions at runtime? I'm not entirely sure what the API for extracting them would look like but I think since runtime type checking is becoming a big thing it might be worthwhile considering.