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

[jeff p]

Hello,

> >> Didn't someone already prove all monads can be implemented in terms
> >> of Cont?
> >>
> >
> > Cont and StateT, wasn't it?
> > And the schemers have no choice about running in StateT :)
>
> You sure? I want to see the proof :)
>
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.

-Jeff