Comment by eliasdejong

> 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.