jto/implicit hk.scala

## 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
	}