Animal.scala

sealed trait Animal

case class Dog(name: String) extends Animal
case class Cat(name: String) extends Animal

val dogs = List(Dog("pochi"), Dog("gon"))
val cats = List(Cat("tama"), Cat("kuro"))

val animals: List[Animal] = List(dogs, cats).flatten

trait AnimalLogic[A <: Animal] {
  def getName(animal: A): String
}

implicit object DogLogic extends AnimalLogic[Dog] {
  override def getName(dog: Dog): String = dog.name
}

implicit object CatLogic extends AnimalLogic[Cat] {
  override def getName(cat: Cat): String = cat.name
}

def getName[A <: Animal](animal: A)(implicit logic: AnimalLogic[A]): String = {
   logic.getName(animal)
}

val names = animals.map {
  case dog: Dog => getName(dog)
  case cat: Cat => getName(cat)
}

println(names) // List(pochi, gon, tama, kuro)

animals.map {
  case animal @ (_:Dog | _:Cat) => getName 
}

ではできないみたい