> That sounds like an argument against excess validation rather than against types (maybe because of blog-driven development showing minimal examples of the pow

> That sounds like an argument against excess validation rather than against types (maybe because of blog-driven development showing minimal examples of the power of types?). A lot of developers confuse types and validation.