@accessible
object Example {
  trait Service {
    def foo[A](value: String)(implicit decoder: Decoder[A]): IO[Throwable, A]
  }
}

object AnotherService {
  case class Bar(value: Int)

  object Bar {
    implicit val decoder: Decoder[Bar] = deriveDecoder
  }

  def bar(implicit decoder: Decoder[Bar]): ZIO[Has[Example.Service], Throwable, Bar] =
    Example.foo[Bar]("hey")(decoder)
}

[error] /Users/juliano/dev/proj/src/main/scala/example/AnotherService.scala:14:28: not enough arguments for method foo: (implicit decoder: io.circe.Decoder[example.AnotherService.Bar], ev: izumi.reflect.Tag[example.Example.Service]): zio.ZIO[zio.Has[example.Example.Service] with Any,Throwable,example.AnotherService.Bar].
[error] Unspecified value parameter ev.
[error]     Example.foo[Bar]("hey")(Bar.decoder)