Those are not exclusive to Haskell. Personally, just from reading the title, I was hoping for an article about the design of type systems in programming langua

Those are not exclusive to Haskell. Personally, just from reading the title, I was hoping for an article about the design of type systems in programming languages in general.