データ構造を別のデータ構造に移したい。
汎用性の為に、コンストラクタの詳細に立ち入りたくは無いのだけど、どんな制約を想定すれば移せることが保証できるんだろ。

元: Folderble
先: Applicative かつ Monoid
なら、foldMapで移せるのは解るけど、mappendのコストが高そう。

元: Folderble
先: Folderble
でもいけるんだろうか

Traversableというのもあるの？ なんだかよくわかんない。
教えて