Typeclasses1.scala

def add[A: Num](a: A, b: A): A = implicitly[Num[A]].+(a, b)

trait Num[A] {
    def +(a: A, b: A): A
    def -(a: A, b: A): A
    def *(a: A, b: A): A
    def negate(a: A): A
    def fromInteger(i: Int): A
}

implicit object NumInt extends Num[Int] {
    def +(a: Int, b: Int): Int = a + b
    def -(a: Int, b: Int): Int = a - b
    def *(a: Int, b: Int): Int = a * b
    def negate(a: Int): Int = -a
    def fromInteger(i: Int): Int = i
}