>>406
> コンパイラは構文の形しか見ません。

それは Common Lisp (というか他の Lisp でも同じだと思うけど) と同じですね。
もっと踏み込んで関係を表現する方法とかも GHC ならこっそり入ってそうな気がしたけど、それは過大評価かな。