Что теперь делать с транзактором и методом transact? Предположим, Transactor можно замокировать. А что делать с transact, как подсунуть свою реализацию метода для тестов?
UserRepository[G] в прод коде G = ConnectionIO в тестовом G = F вместо transactor[F] передавать G ~> F
Задумался, а на каких ЯП пишут адепты последнего левела. Ответ оказался в правой колонке, третий пункт сверху: * Design and implement a new functional programming language
Кстати, а The Book of Monads , что была на конфе, в ней реально Scala примеры были ? Я не заметил, а в аннотации вроде как есть, и народ в комментах жалуется на их недостаточность...