[Haskell-cafe] Video / Slides: Type-driven testing in Haskell (Simon Peyton Jones)