Here’s one possibility: universities, colleges and other centres of education decide to switch their curricula away from a “dependent Haskell” and its perceived-as-too-steep “learning curve” to a combination of:
- Prolog (logic, laziness);
- Erlang (functional, Prolog-based syntax).
with “dependent Haskell” possibly being relegated to an advanced-theory course (but with education budgets getting ever-tighter…that isn’t guaranteed either).