traceM and traceShowM

[Martijn van Steenbergen]

Philip K.F. Hölzenspies wrote:
> As a post-deadline suggestion to fix Simon's (valid) reservation:
> 
> traceShowM :: (Show a, Monad m) => a -> m a
> traceShowM a = traceM (show a) a
> 
> This allows easier trace insertion, e.g.:

I disagree. I think it's easier to remove/comment/uncomment (which you 
do often with trace statements) a whole line than part of a line.

On the other hand, you can still use this function as a standalone line. 
But I don't like having monadic functions return something when that's 
not necessary, even though I cannot think of a clear argument against it 
at the moment. :-(

So I guess either way is fine. Does anyone else know any criteria to 
decide one way or another?

Martijn.