On 27 June 2010 16:07, Felipe Lessa <felipe.le...@gmail.com> wrote: > On Sun, Jun 27, 2010 at 10:54:08AM +0100, Max Bolingbroke wrote: >> Example 2: Codensity is the mother of all Monads > > I thought the continuation monad was the mother of all monads. :)
I actually already referenced Dan's article, and stole the vocabulary from him :-). Codensity is a better model, see e.g. Edward Kmett's first comment on Dan's post (http://blog.sigfpe.com/2008/12/mother-of-all-monads.html#comment-1). Cheers, Max _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
