Agreed. Relevant discussion by Gary Bernhardt explaining this in detail: Ideology
My point is that a lot of automated tests are not relevant anymore with types. Research
by for example Nadia Polikarpova shows that even more automated testing can be made irrelevant:
Moreover a lot of unit testing is a waste BDD / TDD criticized
