如何将http4s服务器定义为要在main中注入和获取的ZLayer？

import zio._
import zio.interop.catz._
import zio.interop.catz.implicits._
import org.http4s._
import org.http4s.dsl.Http4sDsl
import org.http4s.implicits._

object Http4sServer {
  // Define your http4s routes
  val routes: HttpRoutes[Task] = HttpRoutes.of[Task] {
    case GET -> Root =>
      Ok("Hello, world!")
  }

  // Wrap routes in an HttpApp
  val app: HttpApp[Task] = routes.orNotFound
}

object ServerEnvironment {
  type ServerEnvironment = Has[Http4sServer]

  val live: Layer[Nothing, ServerEnvironment] = ZLayer.fromServices[Http4sServer.type, Http4sServer] { _ =>
    Http4sServer
  }
}

object Main extends App {
  type AppEnvironment = ServerEnvironment.ServerEnvironment

  val appLayer: ZLayer[Any, Nothing, AppEnvironment] = ServerEnvironment.live

  val program: ZIO[AppEnvironment, Throwable, Unit] = {
    for {
      server <- ZIO.service[Http4sServer]
      _ <- ZIO.effect(server.app.listen(8080).compile.drain)
    } yield ()
  }

  override def run(args: List[String]): ZIO[zio.ZEnv, Nothing, Int] =
    program
      .provideCustomLayer(appLayer)
      .foldM(
        error => UIO(println(s"Execution failed with: $error")) *> ZIO.succeed(1),
        _ => ZIO.succeed(0)
      )
}