Haskell の表示的意味論ってどっかにあったっけ？

仕様ではシンタクティックシュガー的な言語機能について、Core と呼ばれてる基本的な機能への
変換は形式的に示されてるけど、Core そのものの形式的な定義や意味論は無かったと思うんだが。

>>930
Type Class は？