>>934
>>917 は 「理論的に意味のあるコードならそのまま」 で、
「ただ単にトリッキーなだけなら排除」 するような仕様にしてほしいと言っています。

仕様と言うからには、ただ単にトリッキーなだけのコード 「全て」 ですよね。

それとも、単に >>910 に限定して、これが単なるトリッキーコードならエラーにする、
そういう仕様を Haskell という言語に盛り込んでほしいと言っているのでしょうか？
そうではないと思います。
そのような限定的な仕様は馬鹿げています。

やはり >>910 がもし単なるトリッキーコードなら、その >>910 が代表するような
単にトリッキーなだけのコード 「全て」 をエラーにする仕様を望んでいるのでしょう。

であれば、やはり何を以て単なるトリッキーコードなのかを定義する必要があることには
変わりないと思います。