[Typing-sig] Re: Is it OK to constrain the type of self?