Monadic Call/CC?

21 Feb 2002

      Has anyone investigated monadic call-with-current-continuation in 
Haskell? Given this:

    class (Monad m) => PeirceMonad m where
	      	{
	      	peirceM :: ((a -> m b) -> m a) -> m a;
	      	};

...which Monads can be made PeirceMonads?

The corresponding non-monadic function:

    peirce :: ((a -> b) -> a) -> a;

probably can't be defined.

-- 
Ashley Yakeley, Seattle WA