Re: [Haskell-cafe] Monads, do and strictness

* David Barbour [2012-01-21 11:02:40-0800]

On Sat, Jan 21, 2012 at 10:51 AM, David Menendez wrote:

...

The Eval monad has the property: return undefined >>= const e = e.

You can't write `const e` in the Eval monad.

Why not? ghci> runEval $ return undefined >>= const (return ()) () -- Roman I. Cheplyaka :: http://ro-che.info/