Talk for Codemania 2014 [Comonads, Applicative Functors, Monads]