Declaration-site variance annotations like C# for Java.