CGen: coallesce both WriterT's

Two monoids is just one big monoid