Whoever we sign, height is a big consideration. Casemiro was important at set pieces last season and whereas Martinez is effective in general play his technique against bigger players at corners etc. is problematic.
Mainoo is taller than his often stated height online and may grow some more but...