generated at
WriterT
from Writerモナド

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