monadic::writer_trans
pub fn censor<M, W, F: Fn(W) -> W>(f: F, wrt: WriterT<M, W>) -> WriterT<M, W>
censor modifies the log
censor