Есть вот ета массовая проблема с переносом контекстов, если инстансы в контексте.
Но в общем-то если субконтексты - это маленькие островки, где взаимосвязи только внутри, имея конкретный тип, т.е. ZIO или Env, можно естественным образом лифтить интансы