[Haskell-cafe] Slides for "Adventures with Types" @ Functional Programming Exchange 2013?

Hi, Does anyone know if the slides for Simon Peyton Jones' keynote talk at the Skillsmatter Functional Programming Exchange 2013 are available somewhere? Link to the video: https://skillsmatter.com/skillscasts/3842-keynote-3842 Thanks!