full example from https://github.com/tpolecat/skunk/blob/v0.0.24/modules/docs/src/main/paradox/tutorial/Command.md
gives following compile errors

skunk-world/src/main/scala/CommandExample.scala:42:34
not found: type *
  def fromSession[F[_] : Bracket[*[_], Throwable]](s: Session[F]): PetService[F] =

skunk-world/src/main/scala/CommandExample.scala:42:24
cats.effect.Bracket[<error>,Thro

Reported on gitter https://gitter.im/7mind/izumi?at=60896bdbb38a713b2fb4a31c

When there's missing dependency error for type X and there exist defined named bindings for the same type such as X @Id("x"), what could happen is that the user made a typo or an forgot the qualifier, to help with these situations, the error message should also list all existing bindings that share the same type su

See if it would be possible (and maybe useful) to define instances of higher-kinded typeclasses like ApplyK for the types in sup.