Зачем тебе эмбед

Если у тебя не ридер

Зачем логгировать настолько много инфы?

Даже не могу понять проблему всего этого

насколько много?

Я думал мне хорошо подойдёт для штуки, но вроде и не подошло.

Окей, не так задал вопрос

а что за штука и как ты понял

Вот я логгирую основные ивенты, все что мне нужно отдать в логи у меня есть в рантайме? В чём задача? Не делать руками logger.warn()?

Я думал, что хорошо бы заэмбедить:
trait Foo[F[_]] { def smg: F[Unit] }
trait Bar[F[_]] { def foo: F[Foo[F]] }
Ну, понятно, что ничего хорошего.

Чтобы все автоматом подтягивало? Вызовы функций, аргументы и т п?

в общем, есть проблема называется "контекст исполнения"
у неё есть один способов решения - параметры, параметр который присутствует в вызывающем и вызываемом коде всегда и вызывающий код прокидывает его в вызываемый
соответственно сорта этих параметров могут быть

1. Явный параметр. Прокидывать нужно явно
2. Неявный параметр прокидывать не нужно явно, но нужно везде объявлять
3. Ридер - магически дописывающийся везде параметр, но к несчатью он только один. Поэтому все такие параметры нужно объединить в структуру данных.

Объединение в структуру данных имеет много бенефитов

Окей, я думал это проблема логгирования в общем

И думал, что тут можно попроще

Мало того, что можно автоматически вычислять некоторые агрегаты для параметров для логирования, трассировки и т.п.
Собранный в единую структуру данных позволяет удостовериться, что ваш контекст не достигнет некорректного сочетания этих самых параметров

Соответственно автоматически можно деривировать процедуры инициализации каких-то частей контекста
Автоматически находить субструктурные элементы по типу ну и т.п.

Ридер много бенефитов даёт, потому что есть статическое представление обо всём контексте в целом

В отличие от кучи разрозненных переменных

Ну я не вижу смысла в настолько широких логов