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

[Ashley Yakeley]

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