Re: [Haskell-cafe] Can we come out of a monad?

On Tue, Aug 10, 2010 at 6:48 AM, Edward Z. Yang wrote:

Excerpts from Luke Palmer's message of Tue Aug 10 01:04:04 -0400 2010:

...

Except, of course, you want the signature

  evalCont :: Cont r a -> a

Which is not possible.  But I am not sure where all this discussion is coming from, Maybe and (r ->) cannot be broken out of.  Isn't that example enough?

I'm confused... that's the type of evalCont, no?

Except that I messed up and "evalCont" doesn't compile. The type would have to be evalCont :: Cont a a -> a