> More type inference is not necessarily good: "I have to type less" has to be > weighted against "error messages are more mysterious than ever".
Minimal type inference is one of the better features of Nim, it makes it easier to work with random code.
