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