[Haskell-cafe] The mother of all functors/monads/categories

[Max Bolingbroke]

On 27 June 2010 16:07, Felipe Lessa <felipe.lessa at 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