WriterT
from Writerモナド
WriterTモナドトランスフォーマーのドキュメントを読むと、書きだされた値の型はモノイド(Monoid)型クラスのメンバーに制限されることがわかるでしょう。ref
書き出す型はMonoidのインスタンスじゃないといけない？