2414bfeda ^
1 2 3 4 5 6 7
class Term[A] class Number(val n: Int) extends Term[Int] object Test { def f[B](t: Term[B]): B = t match { case y: Number => y.n } }