Comonads, Applicative Functors, Monads and other principled things ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2014-03-25

Source (github)
Slides (pdf)
Video (vimeo)