I thought ORMs are trying to solve the problem of type mapping between SQL and your backend language. Admittedly, this doesn't end up being great, but it seems

I thought ORMs are trying to solve the problem of type mapping between SQL and your backend language. Admittedly, this doesn't end up being great, but it seems hard to solve this well in other ways, as much as I wish I could write SQL and get types for free.