monadic::writer_trans
pub fn tell<W: Clone>(s: W) -> WriterT<Vec<()>, W>
tell sets the log value
tell