dependent types + higher-kinded types + implicits

code.scala

  object OK {
    trait `*`[A]

    trait Bar {
      type Qux
      implicit val `*`: `*`[Qux]
    }

    def foo(bar: Bar): `*`[bar.Qux] = {
      import bar._
      implicitly[`*`[bar.Qux]]
    }
  }

  object KO {
    trait `* -> *`[F[_]]

    trait Bar {
      type Qux[A]
      implicit val `* -> *`: `* -> *`[Qux]
    }

    def foo(bar: Bar): `* -> *`[bar.Qux] = {
      import bar._
      implicitly[`* -> *`[bar.Qux]]
    }
  }

Fails with the following error:

[error] could not find implicit value for parameter e: KO.* -> *[bar.Qux]
[error]       implicitly[`* -> *`[bar.Qux]]