[Typing-sig] Re: Next tensor typing meeting: Monday 11th