On Mon, 13 Dec 2004 11:29:05 +0100 (CET), Thomas Fischbacher
> Hm, I think Klaus would strongly object to any statement of the form
> 
> > you can clearly see what you are getting by simply looking at
> > the type (IO Int).
> 
> as every type will contain junk:
> 
>   (x::IO Int) where x = x >>= return
Sure. You can include the "junk" into your reasoning (and also take
the fact that you might never actually get anything into account).

Anyway, my statement was more of a pun at the WYSIWYG mentioned by the
poster I was replying to, than a definite theoretical statement.

Cheers,
Michael