I think there is something I cant see. Whenever someone introduce static typing, they show an example problem that can be solved with a test case.

Instead of comparing how tests would have solved it and how types can solve it, they don't even talk about tests