For reference Oleg's indexed continuation monad is packaged on hackage in category-extras as:
http://hackage.haskell.org/packages/archive/category-extras/latest/doc/html/Control-Monad-Indexed-Cont.html -Edward Kmett On Wed, Sep 16, 2009 at 7:07 AM, Martijn van Steenbergen < mart...@van.steenbergen.nl> wrote: > David Menendez wrote: > >> I'm reminded of the parameterized monad of continuations that Oleg >> mentioned a few years back. >> >> <http://www.haskell.org/pipermail/haskell/2007-December/020034.html> >> > > This is all very interesting, thank you both for the pointers! > > I was trying to get rid of the newtypes but couldn't think of how to do > that. I can't believe the solution now is as simple as (m -> r) -> a. > There's hardly any code left, now. > > The fact that it all exists already is nice on the one hand and sad on the > other. :-) > > I will have to look into parametrized monads and parametrized applicatives. > > Thanks again, > > Martijn. > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe