Исправление quasimoto, (текущая версия) :
Зачем плодить сущности?
Зачем топтаться на одном месте? AST/шмаесте, делай как хочешь, суть от этого не меняется, сделай надтип векторам со скалярами и будет тебе одно дерево и один плюс.
Вот бинарная операция (:+) :: Formula a -> Formula a -> Formula a, проехали.
Исходная версия quasimoto, :
Зачем плодить сущности?
Зачем топтаться на одном месте? AST/шмаесте, делай как хочешь, суть от этого не меняется, сделай надтип векторам со скалярами и будет тебе одно дерево и один плюс.
Вотбинарная операция (:+) :: Formula a -> Formula a -> Formula a, проехали.