Remove Writer monad and Monoid

Monoid was only used by Writer.