У меня есть структура данных типа Set, реализованная как Trie, с таким определением: import qualified Data.Map as M import Data.Foldable (Foldable, foldr) import Prelude hiding (foldr) import Data.Maybe (fromMaybe) data Trie a = Trie { endHere ::...

Я реализую Foldable для следующей структуры данных: data Tree a = Leaf a | Node (Tree a) (Tree a) deriving Show Когда я реализую fold и foldMap: instance Foldable Tree where --fold :: Monoid a => Tree a -> a fold (Leaf x) = x fold...