Ребят, вопрос про DI в ZIO - зачем так упарываться с ZLayer-ами и явными инекциями в тип ZIO, если есть "старый" добрый ООП и можно строить модули вокруг трейтов и классов типа такого https://scastie.scala-lang.org/YFiZsY4vRk2URZXLVWU8QA
там кстати в трейты протекают зависимости реализации для R. Возможно нужно либо отказаться от трейтов и использовать ток классы, либо же в трейты добавлять F[_] R тайп-параметром