Изначальная проблема в том, что на уровне http controller появляется 2 эффекта: G[_] для Request[G]/Response[G] и F[_] для которого есть MonadError[F, BusinessErr]. И не хочется оба тащить как type params в конструкторе контроллера. G хочется протащить внутри зависимости. И все уже сошлось кроме места где контроллер создается 😞
Изначальная проблема в том, что на уровне http controller появляется 2 эффекта: G[_] для Request[G]/Response[G] и F[_] для которого есть MonadError[F, BusinessErr]. И не хочется оба тащить как type params в конструкторе контроллера. G хочется протащить внутри зависимости. И все уже сошлось кроме места где контроллер создается 😞