class HttpClient[F[_]](service: DomainServiceAlg[F]) extends HttpClientAlg[F]{ def acceptReq = { //хочу вот тут получить всякой инфы и отправить это все в контексте в service } } trait DomainServiceAlg[F[_]]{ def foo: F[Bar] } И собирается это все где-то в точке старта тип тут же не выйдет так? Разве что явно передавать контекст в foo
типа с обычным ридером сделал бы в трейте def foo: Reader[Ctx, Smth]