[-K, V]

contravariant on K