Добрый день
Подскажите, пожалуйста, как правильно выйти из следующей ситуации:

Имеется функция def initRoutes[Env[_]: HasLocal[*[_], ApplicationContext]]: HttpRoutes[E] = ??? которая позволяет проинициализировать роуты. Для нее необходим контекст HasLocal.

Имеется функция def runHttp4sServer[F[_]: ConcurrentEffect](routes: HttpRoutes[F]): F[Unit] = ???  которая ранит хттп сервер с передаваемыми роутами.

Проблема заключается в том, что использовать одинаковый контекст для этих 2х функций нельзя, т.к. для подъема сервера у эффекта требуется ConcurrentEffect, а Env из тофу не поддерживает его.

Вопрос заключается в том, а как быть в такой ситуации?

Иметь разные эффекты - для инициализации, и для работы с контекстом

Зависит. Контекст формируется как и когда? Он действительно внешний по отношению к запуску сервера? Или он приходит в виде заголовков с хттп запросами?

контекст формируется, когда приходит запрос

runContext сделать над или что?

менее радикально всё же будет поднять свой нексус

Ну тогда, сами руты работают с контекстным эффектом. А сервер запускается с бесконтекстным. И в рутах ты парсишь хэдер, формируешь контекст и делаешь ранконтекст для рута

Проблема с самих роутов ушла - 29 строка

Теперь появляется проблема, что сервис, чей функционал должен дергаться внутри runContext в роутах, зависит от другого сервиса, чей эффект не может быть контекстным из-за аналогичной проблемы с ConcurrentEffect.

Это проблема композиции сервисов или есть какое-либо решение данной проблемы?

https://scastie.scala-lang.org/1qLcNVfOTMWqoTXh7trcUQ

Проблема с самих роутов ушла - 29 строка

Теперь появляется проблема, что сервис, чей функционал должен дергаться внутри runContext в роутах, зависит от другого сервиса, чей эффект не может быть контекстным из-за аналогичной проблемы с ConcurrentEffect.

Это проблема композиции сервисов или есть какое-либо решение данной проблемы?

https://scastie.scala-lang.org/1qLcNVfOTMWqoTXh7trcUQ

Попробуй создавать AnotherService в неконтекстном эффекте, а потом лифтить его в контекстный

F[Service[F]].liftTo[Env] даст Env[Service[F]].
То есть внутренний эффект не изменится