```scala scala> def fun[T](x: T): implicit List[T] => Int = ??? def fun[T](x: T): 33mimplicit 0mList[T] => Int ```