Some interesting features of Haskell’s type system

I talked about some of Haskell’s type system features. You can find a write-up of my talk on my personal blog.