Re: State monads don't respect the monad laws in Haskell

One may ask the question: what is seq useful for not in conjunction with unsafePerformIO, other than efficiency. That, I don't know the answer to.

Here is an example.

main::IO() main=do time1 <- getCPUTime w <- return $! calcSomething time2 <- getCPUTime ...

J.A.