[Typing-sig] Re: Runtime Access to Type Parameters