[Haskell] strictness of putChar: report incomplete?

[Ross Paterson]

On Wed, Oct 05, 2005 at 03:22:29PM +0100, Simon Marlow wrote:
> Also, GHC's optimiser currently treats (_|_ :: IO a) and (do _|_; return
> ()) as interchangeable, which is naughty, and people have occasionally
> noticed, but the benefits can sometimes be huge.

What's wrong with identifying them?  You're not expecting the monad laws
to hold, are you?