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