WriterT Show instance and flatMapF