Co<in T> is a subtype of Co<Anything>, Contra<out T> of Contra<Nothing>