За 30 минут решилась 3 летняя задача по избавлению
Effect.gen (аналог do-нотации) от функции-адаптера которая служила прослойкой чтобы не "fuck of"(M Arnaldi) вывод типов. Теперь можно просто yield* MyEffect. Очередное улучшение DX можно поставить на первое место с:- изменением порядка типо-параметров
-
Pipeablе- добавлением контекста для схем
- Effect.Tag