[Typing-sig] Runtime Access to Type Parameters