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

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