[vivainio]

You rarely have Tabula Rasa developers - average developer is probably proficient in Java and/or C#.

I would say HM type inference is a non-incremental "hard sell" improvement, but it depends on the target audience :).