scala3-Type-parameters-and-matchable.scala

def examine1[T](seq: Seq[T]): Seq[String] = seq map {
  case i: Int => s"Int: $i"
  case other => s"Other: $other"
}

def examine2[T <: Matchable](seq: Seq[T]): Seq[String] = seq map {
  case i: Int => s"Int: $i"
  case other => s"Other: $other"
}