[Typing-sig] Re: How can I annotate class variables and instance variables with different types?