I love the clear eyed approach to what Haskell's future may look like. I look forward to seeing the fresh ideas the programming language community continues to bring forward in this area. Does anyone know if these slides came from a talk that was recorded?