1 2 3 4 5
package s trait Foo { def to[CC[X]](implicit cc: CC[Int]): Unit } class Bar extends Foo { def to[CC[X]](implicit cc: CC[Int]): Unit = ??? }