variance.kt

open class Animal
class Cat: Animal()

class Box<out Value> ( // `out` for covariance
	val value: Value
)

fun main(args: Array<String>) {
    val catBox: Box<Cat> = Box(Cat())
    val animalBox: Box<Animal> = catBox // OK
}