Add execWriterT

Well it would only need `Functor` right? But couldn't we eschew the constraint entirely with pattern matching? Or is there some law which makes the constraint necessary?