Type checking is a symptom, not a solution