Why is there such a strong correlation between languages that fixate on type theory and their users trooning out? Consider the following languages that all worship type theory and their high degree of troons:
>Rust
>Haskell
>Gleam
>All ML languages
What causes this?