> Most of the compilers for languages for different kinds of rich static type systems are slow, and getting slower It's not the types that make Haskell slow to

> Most of the compilers for languages for different kinds of rich static type systems are slow, and getting slower It's not the types that make Haskell slow to compile, as you can verify but running a type-check only pass using -fno-code. You will find it run an order of magnitude quicker than a full compile.