任意のモノイドはWriterをかぶせるとMonadになる