If a language lacks the following, it is shit

- Typeclasses
- Parametric polymorphism (* -> t)
- Dependent types (t -> *)
- Higher kinds (* -> *)
- Purity

>>15
Dependent types slow down the program more.

You'll still have to write tests anyway with dependent types. You can have perfect dependent types while the program doesn't do the intended behavior.