On Wed, 2009-11-04 at 16:59 +0100, Philip K.F. Hölzenspies wrote: > traceShowM :: (Show a, Monad m) => a -> m a > traceShowM a = traceM (show a) a Sorry, shouldn't write and send e-mails so quickly. Obvious / corrected version: traceShowM a = traceM (show a) >> return a Ph.