一見単純なFoldableインスタンスの定義

Question

このデータ型のFoldableインスタンスはどのように見えますか？

data X t = X t [X t] 

私はこの試みた：

instance Foldable X where 
    foldMap f (X x xs) = f x `mappend` foldMap f xs 

をしかし、このエラーを得た：

Occurs check: cannot construct the infinite type: a = X a 
When generalising the type(s) for `foldMap' 
In the instance declaration for `Foldable X' 

Answer 1

xsは、個々のアイテムに適用される項目とfoldMapニーズのリスト、ではないリストであります自体。 mapでこれを行うと、mconcatと組み合わせることができる結果のリストが得られます。

instance Foldable X where 
    foldMap f (X x xs) = f x `mappend` mconcat (map (foldMap f) xs)