Earlier quoted context omitted.
You might be interested in a library that flips around the concept of an ORM, like sqlc [1] or aiosql [2]. You specify just what you want from the database, without needing to couple so much API with database tables. [1] https://sqlc.dev/ [2] https://nackjicholson.github.io/aiosql/
Nice! But what about type checking?
sqlc's whole deal is "Compile SQL to type-safe code," what do you mean "what about type checking"?