Re: The Proper Definition of (evaluate :: a -> IO a)

Simon Marlow wrote:

That's exactly right. Evaluate was introduced because it does something different from (return $!). We tried in the documentation to be clear about its semantics, but perhaps we weren't clear enough. I'll add Isaac's suggested definition to the docs.

If Isaac's definition is accurate, we might as well generalise it to any Monad. -- Ashley Yakeley