More monad adapter work

Taken care of the Writer monad and its adapter which was tricky