Собсно, ток так и мона

хз basics нереально сложно читаеться

Если у тебя в контейнере лежит нечто что устанавливает конект к база или месседж басу, то конечно же сайд эффект

но уже в нем я могу IO впилить а зачем на етапе DI IO?

import cats.syntax.semigroup._
import cats.effect.{ExitCode, IO, IOApp}
import distage.{DIKey, GCMode, Injector}

trait AppEntrypoint {
  def run: IO[Unit]
}

object Main extends App {
  def run(args: List[String]): IO[ExitCode] = {
    
    // `distage.Module` has a Monoid instance

    val myModules = ProgramModule[IO] |+| SyncInterpreters[IO]

    val plan = Injector().plan(myModules, GCMode(DIKey.get[AppEntrypoint]))

    for {
      // resolveImportsF can effectfully add missing instances to an existing plan
      // (You can also create instances effectfully inside `ModuleDef` via `make[_].fromEffect` bindings)

      newPlan <- plan.resolveImportsF[IO] {
        case i if i.target == DIKey.get[DBConnection] =>
           DBConnection.create[IO]
      }

      // `produceF` specifies an Effect to run in.
      // Effects used in Resource and Effect Bindings 
      // should match the effect in `produceF`

      _ <- Injector().produceF[IO](newPlan).use {
        classes =>
          classes.get[AppEntrypoint].run
      }
    } yield ExitCode.Success
  }
}

что здесь происходит ?)

Возьми пример проекта

скинь репо если не сложно

А так

Пройди по квикстарту

val HelloByeModule = new ModuleDef {
 make[Greeter].from[PrintGreeter]
 make[Byer].from[PrintByer]
 make[HelloByeApp] // .from is not required for concrete classes
}
val plan = Injector().plan(HelloByeModule, GCMode.NoGC)
val resource = Injector().produce(plan)
resource.use {
 objects =>
   objects.get[HelloByeApp].run()
}

Вот тебе самое простое использование дистейджа

и где здесь greeter и byer инстансы?

final class HelloByeApp(greeter: Greeter, byer: Byer) {

Заинжекчены

Можешь вкатиться в @izumi_ru

Затем, что на этапе диай у тебя могут быть ресурсы, которые надо заворачивать в ио

а тоесть все lazy ?

И да и нет. Такая вот, хм, диалектическая дуалистичность

Оно стейджированное

Вначале граф строится, потом исполняется