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

Max Bolingbroke batterseapower at hotmail.com
Sun Jun 27 12:40:45 EDT 2010

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


More information about the Haskell-Cafe mailing list