The Human Doesn't Leave. We Stop Reading Every Line.
The Haskell-to-TypeScript trick is a demo, not the thesis. The real argument: forty years of computing assumed a human was reading, writing, or operating the system. Take the human out, and every one of those choices is open again.