Dan Weston wrote: > What is it called if it's both? Then we say "the argument occurs in both positive and negative positions" or "the argument occurs in both covariant and contravariant positions". There doesn't seem to be a shorter name. I want to note that this kind of thing drives OOP crazy.