fact: Definition castWriter : writer Monoid_W A -> writer Monoid_W' A := castWriterT Monoid_W' (m:=ident).
imports: ExtLib.Structures.Monads ExtLib.Structures.Monoid ExtLib.Data.PPair ExtLib.Data.Monads.IdentityMonad Coq.Program.Basics