This is a whirlwind tour of some advanced Haskell features and design choices. The related blog posts are: