This would be extremely useful in instances when you have a method taking multiple complex type parameters, and you want all but one of your type arguments inferred, but end up having to write all of them explicitly anyway because of that one argument that must be given explicitly.