TL;DR для нетерпеливых:
— Death of TF == Reader monad + Bifunctor IO (ZIO) + module pattern (cake, но не совсем) + horizontal effect rotation (о деталях которого, кстати, Джон не особо распространяется даже в личке);
— ZIO теперь трифунктор, а не бифунктор;
— «серебряная пуля», по мнению Джона, в том смысле, что этот подход одновременно reasonable, имеет отличную производительность, хорошо комбинируется и ему легко (гхм) обучить коллег;
— Данный подход можно внедрять в вашу (функциональную) кодовую базу постепенно, не требуя деструктивного рефакторинга всего и вся;
— Доступно в ZIO уже сегодня (Джон мерджит PR'ы прямо сейчас :))

Попробую потихоньку реализовать это на TypeScript, потому что слабоумие и отвага.
¯\_(ツ)_/¯