"Overloading plus Hindley-Milner like type inference is NP-complete and Nim focuses on overloading."
Thanks for explaining it, I always wondered what was the reason of the inference "lacking". Is there a paper/resource you can link where the relationship is explained in more detail? On the other hand, does the statement above includes being able to infer three parametric types (i.e. std/options.flatMap)?
