21 Jan
2012
21 Jan
'12
2:02 p.m.
On Sat, Jan 21, 2012 at 10:51 AM, David Menendez
The Eval monad has the property: return undefined >>= const e = e.
You can't write `const e` in the Eval monad.
From what I can tell, your proposed monads do not.
You can't write `const e` as my proposed monad, either. Regards, Dave