А в чем проблема, final tagless же, лучшая архитектура, решение expression problem, все дела
Поллютит кодобазу, код становится вырвиглазным говном, неясно что происходит на самом деле, так как все абстрагировано и не связано. Из этого кода ты не знаешь что делает F.bind например.
Поллютит кодобазу, код становится вырвиглазным говном, неясно что происходит на самом деле, так как все абстрагировано и не связано. Из этого кода ты не знаешь что делает F.bind например.
Так у тебя тайпклассами и ограничено, что нужно от F в данном контексте и что он в нём делает