>>298
なるほど。 >>296 のような状況なのですが、 (*) も未定義にしてみたところコンパイルは通っちゃいますね。
そんでもって実行時エラー。

しかし、必要な (実際に使われる) メソッドが定義されていないというのはコンパイル時に検出できないものなのでしょうか。
現在の GHC は「実際に使われはしないけどクラス定義が要求するメソッドを定義してない」のも
「実際に使われるメソッドを定義してない」のも等しく警告しか出さないというのはちょっと微妙な挙動に思えます。