Zoo.scala

package zoo

class Animal

class Lion extends Animal

class Cage[+T <: Animal] {
  def add(animal: T) { println("Adding animal...") } // ERROR
}

/*
covariant type T occurs in contravariant position in type T of value animal
*/