object Test extends App { println(implicitly[Foo[C1]]) println(implicitly[Foo[C2]]) }