Инфа про то, что ТФ — не про подмену сортов тасок? Можно конспекты лекций Олега Киселёва почитать, он там чудесно объясняет, что ТФ — это способ определения DSL и кодирования программ на нём
у меня сложилось впечатление, что читать про тру-тф не совсем правильно, непонятно, как это в скале выглядит и какие профиты дает, мол слишком далеко это от монадик тф, который мы обсуждаем (мб я ошибаюсь конечно же)