Joachim Breitner wrote: > join traceShow :: (Show a) => a -> a Yes, you're right. I rarely use trace directly. I either use traceM, join trace or join traceShow. I can't think of good names for these last two functions, though. But if someone else can, I'm all in favour. Thanks, Martijn.