[Typing-sig] Re: User-defined type guards