Still, that being the case, the inference could be made at a more direct level if the language supported an anonymous type placeholder, be it var, ? or some other symbol. That is, it should be possible to write code such as :