Replace WriterT/traverse_ with lifted monoid/foldMap.