勝手にしてくれ。

Lispの時も、当初は数学的な計算モデル＝ラムダ計算 を
コンピュータ上で実行するという奇妙なプロジェクトだったが、
実用性を云々して勝手な拡張を始めた段階で「手続き型言語」に堕ち、
そして最後には、特殊な実行メカニズムと市場の狭さが災いとなって
多数派CPU上で実行性能の出ない１マイナー言語となった。

もしHaskellの設計意図を解せぬ人が寄って集ってHaskellをダメにしたら、
その時はまた新しい研究成果を取り入れて、新しい純関数型言語の標準を決めればいい。

だがそんな愚かな事を繰り返す人間はごく一握りしか居ないだろう。
(SymbolicsやLMIでバブル体験した人を除いて)
Lisp, Scheme以降の関数型言語で、実用性を云々するならOcamlでも使っておけばいい。
あれなら10年以上前からゲームもWebブラウザも作っているし、普及度も高い。(Linux配布を通じて)