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.

>From what I can tell, your proposed monads do not.

You can't write `const e` as my proposed monad, either.

Regards,

Dave