If we loaned Martial to Ajax for a year I wouldn't complain. He's signed until 2024 and he has a ton of talent and seems to be miles behind where he should be in tactics and effort.
If Ole doesn't work out here, we really should think about hiring whoever we think the best manager is at developing young players. Like literally hire whoever we think the best academy coach in Europe is. People seem to think a director of football would cover this, but a manager who can improve Rashford, Martial, Dalot, Tuanzebe, Gomes, Greenwood and Shaw (maybe Mctominay and then there's the guys like Garner and Laird I haven't seen enough but people seem to rate) and teach them to play smart football in a clear system would be my first priority.