fact: Definition censor@{d c s} {m : Type@{d} -> Type@{c}} {S : Type@{s}} {Monad_m : Monad m} {Monoid_S : Monoid S} {Writer_m : MonadWriter Monoid_S m} {A : Type@{d}} (f : S -> S) (c : m A) : m A := pass (liftM (fun x => (x, f)) c).
imports: ExtLib.Structures.Monad ExtLib.Structures.Monoid