[Haskell-cafe] Monads, do and strictness

[Roman Cheplyaka]

* David Barbour <dmbarbour at gmail.com> [2012-01-21 11:02:40-0800]
> On Sat, Jan 21, 2012 at 10:51 AM, David Menendez <dave at zednenem.com> 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/