Add execWriterT

How about just `snd <$> runWriterT m` which only needs an `Apply` constraint.