Add link to Comonads, Applicative Functors, Monads and Other Principled Things talk by Tony Morris.