データツリーのHaskellの折り畳み式のインスタンス

Question

次のコードでデータツリー用の折り畳み式のインスタンスを作成しようとすると：しかし、このコードは、それが生成するエラーが動作していない

data Rose a = a :> [Rose a] 
    deriving (Eq, Show) 

instance Foldable Rose where 
    fold (a:>b) = a <> (map fold b) 

：

Could not deduce <m ~ [m]> 
from the context <Monoid m> 
    bount by the type signature for fold :: Monoid m => Rose m -> m 
... 
In the return type of a call of 'map' 
... 

誰でもそれを動作させる理由/方法を知っていますか？

Answer 1

fold bと書くと、リストにFoldableインスタンスが使用されています。したがって、foldは、モノイド値のリストを単一の値にフォールドします。このモノイド値のタイプは、Rose a（あなたのリストで構成されているもの）です。しかし、それはおそらくあなたが望むものではありません。

foldの代わりにfoldMap foldを使用してください。この方法では、リスト内のすべての個人Rose aを最初に折りたたみ、結果を一緒に折り畳みます。