Is it a good idea ?
Maybe be interesting to couple this with testing...
Yes, this is the problem with type inference. There are multiple ways of doing the thing and neither is perfect. That's why we need a good Type merging system to merge all the guesses.