implicit.scala

// あらゆる型を加算できる型クラス Adder
trait Adder[A] {
  def add(a: A, b: A): A
}

// 型クラスのインスタンス Int用
implicit val intAdder = new Adder[Int] {
  override def add(a: Int, b: Int): Int = a + b
}

// 型クラスのインスタンス String用
implicit val stringAdder = new Adder[String] {
  override def add(a: String, b: String): String = s"$a+$b"
}

object Main extends App {

  def add[A](a: A, b: A)(implicit adder: Adder[A]): A = adder.add(a, b)
  
  println(add(1, 2))    // 3
  println(add("a","b")) // a+b

}