On Sat, Jan 21, 2012 at 11:08 AM, Roman Cheplyaka <r...@ro-che.info> wrote:
> * David Barbour <dmbarb...@gmail.com> [2012-01-21 11:02:40-0800] > > On Sat, Jan 21, 2012 at 10:51 AM, David Menendez <d...@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 ()) > () > It is, at the very least, utterly pointless to have an Eval monad with `const`. Regards, Dave
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
