On: LeanDB a strongly Typed SQL front end

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