env_final_tagless_rt_2.scala

import com.example.functional.env.catz._

def buildProgram[F[_] : Sync]: F[Unit] = {
  import cats.implicits._
  for {
    _ <- Sync[F].delay(println("Starting"))
    _ <- Sync[F].delay(println("Finished"))
  } yield ()
}

implicit val provideEnv: ProvideEnv[Context[ExampleEnv]] = new ProvideEnv[Context[ExampleEnv]] {
  override def provide: Context[ExampleEnv] = Context.initUnsafe(ExampleEnv("init"))
}

buildProgram[Env[ExampleEnv, ?]].unsafeRunSync(ExampleEnv("init"))