G'day all. Alastair Reid <alastair at reid-consulting-uk.ltd.uk> wrote: > I think it is exactly right. I think it's wrong. The return type of IO should be discarded. Even if it isn't, it doesn't make sense for IO to be in Show. Cheers, Andrew Bromage