[Haskell-cafe] Can every monad can be implemented with Cont? (was: New slogan for haskell.org)

Albert Y. C. Lai trebla at vex.net
Sat Oct 13 12:28:38 EDT 2007

jeff p wrote:
> I think this is referring to Andrzej Filinski's paper "Representing
> Layered Monads" in which it shown that stacks of monads can be
> implemented directly (no layering) by using call/cc and mutable state.

I have been unable to see how to bring its crucial "reify" and "reflect" 
to Haskell. In particular reflect:

reflect :: m a -> a

It looks very magical.

More information about the Haskell-Cafe mailing list