Comment by voiceofunreason

Is there any prior art that defines covariant/contravariant tests in this way, or is Martin just borrowing language that sounds cool?