I can imagine what would be/is valuable is type checked embedded SQL queries.