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? Cheers, Edward _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
