jto · November 29, 2017 17:19
diff --git a/implicit hk.scala b/implicit hk.scala
 trait TC[F[_]]

 trait Foo {
  type I[_]
  implicit def tc: TC[I]
 }

 def test(g: Foo): Int =  {
  import g._
  implicitly[TC[I]](tc) // compiles
  implicitly[TC[I]]     // could not find implicit value for parameter e: TC[g.I]
  4
 }
	trait TC[F[_]]

	trait Foo {
	type I[_]
	implicit def tc: TC[I]
	}

	def test(g: Foo): Int = {
	import g._
	implicitly[TC[I]](tc) // compiles
	implicitly[TC[I]] // could not find implicit value for parameter e: TC[g.I]
	4
	}