[Haskell-cafe] Can we come out of a monad?
Edward Z. Yang
ezyang at MIT.EDU
Tue Aug 10 01:48:36 EDT 2010
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?
More information about the Haskell-Cafe