> typed databases let you express queries which are just super hard to express otherwise Isn't type validation already in SQL with `CHECK` constraints? I don't

> typed databases let you express queries which are just super hard to express otherwise Isn't type validation already in SQL with `CHECK` constraints? I don't see what the language is adding here exactly.