Haskell’s Type System Standing Alone
When you treat it as its own separate programming language, Haskell’s type system has some strange syntax, weird fundamental choices, and occasionally bad ergonomics. In other words, it’s like any other programming language.
Source: Haskell’s Type System Standing Alone, an article by Mitchell Vitez.