free алгебры то я использую coproduct и inject и есть мне счастье. А что если у меня есть фри программа и мне нужно ее использовать как саму по себе так и внутри другой фри программы. Получается что inject в разные копродукты и все ломается. Я правильно понимаю что мне нужно написать две фри программы тогда — под каждый копродукт?
зачем ему понимать финальный тип?
Обсуждают сегодня