No subject

>

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

Regards,

Dave

--f46d041a43640aa41d04b70e71a9
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div class=3D"gmail_quote">On Sat, Jan 21, 2012 at 10:51 AM, David Menendez=
 <span dir=3D"ltr">&lt;<a href=3D"mailto:dave at zednenem.com">dave at zednenem.c=
om</a>&gt;</span> wrote:<br><blockquote class=3D"gmail_quote" style=3D"marg=
in:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class=3D"im">The Eval monad has the property: return undefined &gt;&gt=
;=3D const e =3D e.</div></blockquote><div><br></div><div>You can&#39;t wri=
te `const e` in the Eval monad.</div><div><br></div><blockquote class=3D"gm=
ail_quote" style=3D"margin-top:0px;margin-right:0px;margin-bottom:0px;margi=
n-left:0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);borde=
r-left-style:solid;padding-left:1ex">
=C2=A0</blockquote><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 =
.8ex;border-left:1px #ccc solid;padding-left:1ex">