Tim M Wrote: > Do what? Never mind, in the meantime I have found an answer to my original question (with it you can type inference all the types used inside functions, and it allows more things, like type classes, etc.) Scala language shows it's doable. Bye, bearophile