> relying on the tooling instead of critical thinking If the tool is "type checking" a computerised logic/type-checking will be far more efficient that mentall

> relying on the tooling instead of critical thinking If the tool is "type checking" a computerised logic/type-checking will be far more efficient that mentally checking such a thing. Computer type-check logic is a superior form of a subset of "critical thinking".