The idea is that you wouldn't use the generic string type for everything. You'd use an SQL type for queries and a different type for user input and there would

The idea is that you wouldn't use the generic string type for everything. You'd use an SQL type for queries and a different type for user input and there would be methods to convert between the two. This ensures at compile time that all data is properly escaped because its a type error to mix a user input value with an SQL value.