What Unix Pipelines Got Right (and How We Can Do Better)

Type checking is a symptom, not a solution