モナドトランスフォーマー

"型クラス"と"データ構造"に二分した場合、"モナドトランスフォーマー"はデータ構造ですが、Scalaz内で"モナドトランスフォーマー"と呼べるものはある程度の数があるので、このドキュメント内でデータ構造の章に入れるのではなく独立した章にすることにしました。