Adds a WriterT monoid when there is a Monoid for F[W,A]

Not sure why this wasn't already there if it might cause problems I might be overlooking