Slides for a talk I gave at the Montreal Haskell meetup in March 2013