monadic::writer
pub fn censor<A, W: Monoid, F: Fn(W) -> W>( f: F, writer: Writer<A, W>) -> Writer<A, W>