[Typing-sig] Re: A way to typehint a return type in parent based on return type of a child