Agreed that it's nice when an error message assures a user they did nothing wrong. But it's still better if the user doesn't encounter a bug in the first place

Agreed that it's nice when an error message assures a user they did nothing wrong. But it's still better if the user doesn't encounter a bug in the first place due to being ruled out by the type system.