This would require typechekers to implement Python runtime in them too. And it’s highly non-trivial. This shifts the complexity and makes it someone else’s problem, which in reality will mean that we’re just not solving this problem at all and stalling.