The curious case of the broken inverse: you won't get more type safety by having type inference, but you are likely to end up with less type safety when you are not having it ;)
This makes no sense.
The basic idea is that type inference would shift the sweet spot for the right amount of typing upwards.