На чем ты остановился? Я все таки у себя решил привезти явно F ~> G в модуль для конвертации ошибок, чтобы потом в тестах сделать тестовую реализацию этого преобразования.
Я для себя решил, что всё днище, надо юзать EitherT. Ещё я думаю, что tf не предел развития и можно проще и лучше
Обсуждают сегодня