Type inference and overloaded functions

[bearophile]

Jonathan M Davis:

> and while [1, 2, 3]s is nice and  short, all it does
> over staticLiteral([1, 2, 3]) is save some typing, and it 
> requires language changes,

[1, 2, 3]s  seems nice.