My point is that there are tools and techniques that will solve these problems in ways that are more valuable than the compiler's type system. If you seriously

My point is that there are tools and techniques that will solve these problems in ways that are more valuable than the compiler's type system. If you seriously "refuse to review Python code" because you feel you need to visually check indentation, I think you might want to take a step back and evaluate your methods.