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