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. :) For example, see [1]. Cheers! [1] http://blog.sigfpe.com/2008/12/mother-of-all-monads.html -- Felipe.